Verifying multi-threaded software using smt-based context-bounded model checking.

Lucas C. Cordeiro Bernd Fischer

Published in: ICSE (2011)

Keyphrases

multi threaded
bounded model checking
model checking
software architecture
source code
temporal logic
software development
operating system
software systems
information flow
computational power
multithreading
multi core processors