Login / Signup

Can Message Buffers Be Axiomatized in Linear Temporal Logic?

A. Prasad SistlaEdmund M. ClarkeNissim FrancezAlbert R. Meyer
Published in: Inf. Control. (1984)
Keyphrases
  • linear temporal logic
  • temporal logic
  • bounded model checking
  • model checking
  • email
  • learning algorithm
  • production system
  • transition systems
  • search algorithm
  • modal logic
  • search tree