Similar Items: Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
- Comparator automata in quantitative verification
- Automata for Specifying and Orchestrating Service Contracts
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- Verification for Timed Automata extended with Unbounded Discrete Data Structures
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)