Login / Signup

METATEM: A Framework for Programming in Temporal Logic.

Howard BarringerMichael FisherDov M. GabbayGraham GoughRichard Owens
Published in: REX Workshop (1989)
Keyphrases
  • temporal logic
  • model checking
  • satisfiability problem
  • modal logic
  • concurrent systems