Module Checking Revisited
Abstract elided by the publisher.
Related papers
- Automata-Theoretic Model Checking Revisited VMCAI 2007
- LTL Generalized Model Checking Revisited VMCAI 2009
- The Causal Graph Revisited for Directed Model Checking SAS 2009
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking TACAS 2008
- Strong Typing of Object-Oriented Languages Revisited OOPSLA 1990
- Revisiting MITL to Fix Decision Procedures VMCAI 2018
- Revisiting DRUP-Based Interpolants with CaDiCaL 2.0 TACAS 2025
- Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited POPL 1984