A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.
Miguel FelderAngelo MorzentiPublished in: ICTL (1994)
Keyphrases
- temporal logic
- model checking
- formal specification language
- timed petri nets
- modal logic
- satisfiability problem
- mazurkiewicz traces
- belief revision
- linear temporal logic
- concurrent systems
- temporal knowledge
- verification method
- discrete event systems
- reactive systems
- bounded model checking
- neural network
- microarray