Login / Signup

A Calculational Deductive System for Linear Temporal Logic.

J. Stanley WarfordDavid VegaScott M. Staley
Published in: ACM Comput. Surv. (2020)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • theorem proving
  • object oriented
  • knowledge base
  • general purpose
  • modal logic
  • data flow