A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL.
Thomas VogelMarc CarwehlGenaína Nunes RodriguesLars GrunskePublished in: CoRR (2022)
Keyphrases
- real time
- model checking
- formal verification
- model checker
- formal specification
- formal methods
- low cost
- asynchronous circuits
- control system
- temporal logic
- reactive systems
- protocol specification
- database
- colored petri nets
- specification language
- real time systems
- moving target
- theorem proving
- pattern discovery
- e learning
- databases