Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking

Research output: Other contribution › peer-review

Original language	English
Publication status	Published - 2011

Keywords

@misc{18321bff077c45029ef315d7261192e3,

title = "Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking",

keywords = "Formal Software Verification, SAT Modulo Theories, Symbolic and Explicit Model Checking, Multi-threaded systems",

author = "Lucas Cordeiro and Bernd Fischer",

year = "2011",

language = "English",

type = "Other",

}