Mechanical Verification of an Ideal Incremental ABR Conformance
Abstract elided by the publisher.
Related papers
- Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol CAV 1999
- Incremental predicate analysis for regression verification OOPSLA 2020
- Program Verification by Symbolic Execution of Hyperfinite Ideal Machines CAV 1990
- Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations PLDI 2023
- Lazy functional incremental parsing Haskell 2009
- Incremental type-checking for type-reflective metaprograms GPCE 2010
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript ECOOP 2017
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures ECOOP 2023