Login / Signup

Linear Temporal Logic Specification of Bounded Counter Machines.

E. V. Kuzmin
Published in: Autom. Control. Comput. Sci. (2023)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • linear time temporal logic
  • high level
  • process model
  • modal logic
  • formal specification