Domain-independent multi-threaded software model checking.
Dirk BeyerKarlheinz FriedbergerPublished in: ASE (2018)
Keyphrases
- domain independent
- model checking
- multi threaded
- temporal logic
- domain specific
- formal verification
- formal methods
- planning domains
- formal specification
- operating system
- multithreading
- verification method
- multi core processors
- planning problems
- software systems
- source code
- computer architecture
- modal logic
- information flow
- computer systems
- embedded systems
- artificial intelligence
- software architecture
- data management
- software engineering