SAT-based Abstraction Refinement for Real-time Systems.
Stephanie KemperAndré PlatzerPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- real time systems
- bounded model checking
- real time
- distributed systems
- model checking
- real time database systems
- formal verification
- embedded systems
- answer set programming
- timing constraints
- mission critical
- temporal logic
- sat solvers
- planning problems
- ai planning
- linear temporal logic
- real time embedded
- object oriented programming language
- planning domains
- constraint solver
- answer sets
- orders of magnitude
- high level
- architectural model
- multi agent systems
- artificial intelligence