Saturation-Based Incremental LTL Model Checking with Inductive Proofs
Abstract elided by the publisher.
Related papers
- Incremental, Inductive CTL Model Checking CAV 2012
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs ICFP 2024
- Model Checking LTL Using Net Unforldings CAV 1998
- LTL Generalized Model Checking Revisited VMCAI 2009
- Bounded Model Checking for Past LTL TACAS 2003
- LTL Model-Checking for Malware Detection TACAS 2013
- Incremental, Inductive Coverability CAV 2013