SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler.
Haitao ZhangYonggang LuPublished in: SOFL+MSVL (2016)
Keyphrases
- bounded model checking
- cooperative
- multi agent systems
- formal verification
- model checking
- user interface
- software development
- software systems
- test cases
- software architecture
- software tools
- statistical machine translation
- logic programs
- computer systems
- modeling language
- formal specification
- linear temporal logic
- search space