Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	SOFTWARE ENGINEERING AND FORMAL METHODS
Pages	302
Volume	7041
Publication status	Published - 2011

Name	Lecture Notes in Computer Science

Cite this

@inbook{a8a8916c77af439ebd691797073eb852,

title = "Context-Bounded Model Checking of LTL Properties for ANSI-C Software",

author = "Jeremy Morse and Lucas Cordeiro and Denis Nicole and Bernd Fischer",

year = "2011",

language = "English",

isbn = "9783642246890",

volume = "7041",

series = "Lecture Notes in Computer Science",

pages = "302",

booktitle = "SOFTWARE ENGINEERING AND FORMAL METHODS",

}