The following pages link to (Q2754095):
Displaying 6 items.
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance (Q1395676) (← links)
- Incorporating decision procedures in implicit induction. (Q1404422) (← links)
- Mechanical verification of an ideal incremental ABR conformance algorithm (Q1810852) (← links)
- Automated Certification of Implicit Induction Proofs (Q3100200) (← links)
- (Q4493887) (← links)
- A Mechanically Verified AIG-to-BDD Conversion Algorithm (Q5747668) (← links)