Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas.
Christian MillerKarina GitinaBernd BeckerPublished in: MTV (2011)
Keyphrases
- real time systems
- bounded model checking
- model checking
- formal verification
- real time
- temporal logic
- linear temporal logic
- distributed systems
- embedded systems
- multi agent systems
- timing constraints
- real time database systems
- mission critical
- real time embedded
- anytime algorithms
- statistical machine translation
- low cost
- universally quantified
- orders of magnitude
- architectural model
- domain specific
- cooperative