A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems.
Nils TimmStefan GrunerMatthias HarveyPublished in: SBMF (2016)
Keyphrases
- software systems
- model checker
- model checking
- description language
- formal verification
- formal methods
- software architecture
- software engineering
- temporal logic
- formal specification
- software components
- source code
- test suite
- software development
- software maintenance
- set theory
- metamodel
- high level
- ai planning
- software evolution
- specification language
- linux kernel
- software testing
- inference rules
- design patterns
- data structure
- database
- planning domains
- cooperative
- database systems