Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems
Abstract elided by the publisher.
Related papers
- Kronos: A Model-Checking Tool for Real-Time Systems CAV 1998
- Compilation Techniques for Real-Time Java Programs CGO 2007
- The MoXI Model Exchange Tool Suite CAV 2024
- TarTar: A Timed Automata Repair Tool CAV 2020
- Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models OOPSLA 2026
- UPPAAL in 1995 TACAS 1996
- A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking CAV 2026
- Local Model Checking for Real-Time Systems (Extended Abstract) CAV 1995