Bounded Model Checking of Multi-threaded Software using SMT solvers
Lucas C. CordeiroBernd FischerPublished in: CoRR (2010)
Keyphrases
- multi threaded
- bounded model checking
- formal verification
- operating system
- model checking
- software development
- modulo theories
- computer systems
- computer architecture
- multithreading
- source code
- linear temporal logic
- software architecture
- multi core processors
- information flow
- software systems
- multi agent systems
- real time
- temporal logic
- orders of magnitude
- multi agent