Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.
Parosh Aziz AbdullaMohamed Faouzi AtigFrederik Meyer BønnelandSarbojit DasBengt JonssonMagnus LångKonstantinos SagonasPublished in: ATVA (2023)
Keyphrases
- model checking
- event driven
- multi threaded
- temporal logic
- real time
- temporal properties
- operating system
- formal verification
- model checker
- bounded model checking
- formal specification
- verification method
- symbolic model checking
- computer architecture
- multi core processors
- automated verification
- transition systems
- information flow
- publish subscribe
- computation tree logic
- epistemic logic
- formal methods
- multithreading
- fine grained
- source code
- high level