Decidable Classes of the Verification Problem in a Timed Predicate Logic.
Danièle BeauquierAnatol SlissenkoPublished in: FCT (1999)
Keyphrases
- predicate logic
- temporal logic
- model checking
- knowledge representation and reasoning
- formal logic
- petri net
- verification method
- colored petri nets
- computational linguistics
- predicate calculus
- semantic net
- semantic network
- linear time temporal logic
- data mining
- first order logic
- lower level
- orders of magnitude
- higher level