Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization.
Omar InversoErmenegildo TomascoBernd FischerSalvatore La TorreGennaro ParlatoPublished in: CAV (2014)
Keyphrases
- multi threaded
- bounded model checking
- formal verification
- model checking
- operating system
- temporal logic
- linear temporal logic
- multi core processors
- computer architecture
- information flow
- real time
- multithreading
- multi agent systems
- computer programs
- computational power
- low complexity
- data processing
- general purpose
- information systems