Mechanical verification of an ideal incremental ABR conformance algorithm

DOI10.1023/A:1023251327012zbMath1023.68090OpenAlexW2052001696MaRDI QIDQ1810852

Michaël Rusinowitch, Sorin Stratulat, Francis Klay

Publication date: 9 June 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023251327012

zbMATH Keywords

mechanical verificationABR conformance algorithmPVS theorem prover

Mathematics Subject Classification ID

Related Items (3)

Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities ⋮ Mechanically certifying formula-based Noetherian induction reasoning ⋮ Automated Certification of Implicit Induction Proofs

Uses Software

• PVS

This page was built for publication: Mechanical verification of an ideal incremental ABR conformance algorithm