Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers
Abstract elided by the publisher.
Related papers
- JavaCOP: Declarative pluggable types for java TOPLAS 2010
- A framework for implementing pluggable type systems OOPSLA 2006
- Pluggable verification modules: an extensible protection mechanism for the JVM OOPSLA 2004
- A type system equivalent to a model checker TOPLAS 2008
- The TLA+ Model Checker Apalache CAV 2026
- Searching for i-Good Lemmas to Accelerate Safety Model Checking CAV 2023
- The JKind Model Checker CAV 2018
- Introducing Certificates to the Hardware Model Checking Competition CAV 2025