Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog.
Masahiro FujitaHidehiko TanakaTohru Moto-OkaPublished in: FGCS (1984)
Keyphrases
- temporal logic
- model checking
- satisfiability problem
- temporally extended
- transition systems
- dynamic constraints
- modal logic
- knowledge base
- verification method
- state space
- expert systems
- artificial intelligence
- linear temporal logic
- concurrent systems
- mazurkiewicz traces
- belief revision
- np complete
- programming language
- reactive systems
- knowledge representation