Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs.
Parosh Aziz AbdullaMohamed Faouzi AtigFrederik Meyer BønnelandSarbojit DasBengt JonssonMagnus LångKonstantinos SagonasPublished in: CoRR (2023)
Keyphrases
- model checking
- event driven
- multi threaded
- temporal logic
- temporal properties
- real time
- operating system
- automated verification
- symbolic model checking
- formal verification
- multi core processors
- information flow
- model checker
- formal specification
- formal methods
- multithreading
- computer architecture
- publish subscribe
- epistemic logic
- verification method
- computation tree logic
- markup language
- transition systems
- modal logic
- alternating time temporal logic
- programming environment
- highly efficient
- general purpose
- multi agent systems