Similar Items: Correct and Efficient Antichain Algorithms for Refinement Checking
- Antichains for the Automata-Based Approach to Model-Checking
- Efficient and Modular Coalgebraic Partition Refinement
- Efficient CSL Model Checking Using Stratification
- An extensible equality checking algorithm for dependent type theories
- A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
- Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning