Modular verification of multithreaded programs.

Cormac Flanagan Stephen N. Freund Shaz Qadeer Sanjit A. Seshia

Published in: Theor. Comput. Sci. (2005)

Keyphrases

symbolic execution
model checking
hardware designs
modular structure
databases
social networks
object oriented
answer sets
computer programs
automatic programming
mutual exclusion
control program
verification method