Deciding the Satisfiability of MITL Specifications.
Marcello Maria BersaniMatteo RossiPierluigi San PietroPublished in: GandALF (2013)
Keyphrases
- bounded model checking
- satisfiability problem
- high level
- specification language
- computational complexity
- np complete
- phase transition
- propositional logic
- formal specification
- functional requirements
- terminological reasoning
- real time
- satisfiability testing
- concurrent systems
- control flow
- sat problem
- database systems
- information systems
- data sets