Login / Signup

Specifying Industrial Real-Time Systems with a Temporal Logic Framework.

Emanuele CiapessoniEdoardo CorsettiManlio MiglioratiElena RattoErnani Crivelli
Published in: Int. J. Softw. Eng. Knowl. Eng. (1996)
Keyphrases
  • temporal logic
  • real time systems
  • model checking
  • real time
  • modal logic
  • satisfiability problem
  • reactive systems
  • artificial intelligence
  • search algorithm
  • logical framework
  • computation tree logic
  • mazurkiewicz traces