A property specification pattern catalog for real-time system verification with UPPAAL.
Thomas VogelMarc CarwehlGenaína Nunes RodriguesLars GrunskePublished in: Inf. Softw. Technol. (2023)
Keyphrases
- real time
- model checking
- formal verification
- model checker
- formal methods
- formal specification
- pattern matching
- asynchronous circuits
- temporal logic
- timed automata
- real time systems
- general purpose
- control system
- desirable properties
- case study
- artificial intelligence
- protocol specification
- colored petri nets
- pattern discovery
- specification language
- face verification
- knowledge based systems
- vision system
- web services
- data mining