Querying Parametric Temporal Logic Properties on Embedded Systems.
Hengyi YangBardh HoxhaGeorgios E. FainekosPublished in: ICTSS (2012)
Keyphrases
- temporal logic
- embedded systems
- model checking
- low cost
- modal logic
- computing power
- satisfiability problem
- temporal properties
- embedded software
- embedded devices
- resource limited
- hw sw
- real time systems
- concurrent systems
- software systems
- verification method
- linear temporal logic
- hardware software
- transition systems
- embedded real time systems
- query language
- field programmable gate array
- query processing
- consumer electronics
- automata theoretic
- temporal information
- object oriented
- multi agent systems
- bounded model checking
- computation tree logic
- formal specification language
- artificial intelligence