Validated templates for specification of complex LTL formulas.
Salamah SalamahAnn Q. GatesVladik KreinovichPublished in: J. Syst. Softw. (2012)
Keyphrases
- linear temporal logic
- high level
- transition systems
- linear time temporal logic
- model checking
- neural network
- real world
- hidden markov models
- temporal logic
- complex data
- formal specification
- temporal ordering
- database systems
- conceptual model
- horn clauses
- formal verification
- case study
- bounded model checking
- data sets