LTL-Specification of Counter Machines.

Published in: Autom. Control. Comput. Sci. (2022)

Keyphrases

linear temporal logic
transition systems
model checking
temporal logic
formal verification
bounded model checking
formal specification
specification language
high level
user defined
real time
databases
learning algorithm
flowshop
parallel machines