State-based Discovery and Verification of Propositional Invariants

State-based Discovery and Verification of Propositional Invariants

Publications