A Coverage Checking Algorithm for LF
Lecture notes in computer science2003pp. 120–135
Citations Over TimeTop 10% of 2003 papers
Related Papers
- → Data Refinement(1998)203 cited
- → Transitions and Proof and Proving at Tertiary Level(2012)72 cited
- → Verifying Self-stabilizing Population Protocols with Coq(2009)21 cited
- → When Human Intuition Fails: Using Formal Methods to Find an Error in the “Proof” of a Multi-agent Protocol(2019)7 cited
- → Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants(2019)4 cited