Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.
Fabio GadducciAndrea LarettoDavide TrottaPublished in: ICGT (2023)
Keyphrases
- linear time temporal logic
- graph transformation
- model checking
- linear temporal logic
- formal verification
- temporal logic
- formal specification
- transition systems
- formal methods
- natural deduction
- reactive systems
- model checker
- asynchronous circuits
- sequent calculus
- specification language
- concurrent systems
- cut elimination
- inference rules
- high level
- description language
- general purpose
- object oriented