SAT-based Model Checking: Interpolation, IC3, and Beyond

Orna Grumberg, S. Shoham, Y. Vizel

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

Original language	American English
Title of host publication	‎Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July - 11 August 2013
Publisher	IOS Press
State	Published - 2012

Cite this

@inproceedings{e93c4c89e502423aa6e33a3b7c553b17,

title = "SAT-based Model Checking: Interpolation, IC3, and Beyond",

author = "Orna Grumberg and S. Shoham and Y. Vizel",

year = "2012",

language = "American English",

booktitle = "‎Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July - 11 August 2013",

publisher = "IOS Press",

address = "United Kingdom",

}