Similar Items: Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- TACO: A Toolsuite for the Verification of Threshold Automata
- Comparator automata in quantitative verification
- HalluCiteChecker: A Lightweight Toolkit for Hallucinated Citation Detection and Verification in the Era of AI Scientists
- Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
- Verification for Timed Automata extended with Unbounded Discrete Data Structures
- Parameterized Synthesis