Specification and verification of a linear-time logic for graph transformation.
Fabio GadducciAndrea LarettoDavide TrottaPublished in: CoRR (2023)
Keyphrases
- graph transformation
- asynchronous circuits
- formal verification
- model checking
- transition systems
- model checker
- bounded model checking
- verification method
- formal methods
- linear temporal logic
- concurrent systems
- protocol specification
- state machine
- formal language
- worst case
- classical logic
- predicate logic
- epistemic logic
- deontic logic
- operational semantics
- colored petri nets
- specification language
- formal specification
- temporal logic
- high level