Proof movie -- a proof with the Boyer-Moore prover (Q2366695)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof movie -- a proof with the Boyer-Moore prover |
scientific article |
Statements
Proof movie -- a proof with the Boyer-Moore prover (English)
0 references
18 August 1993
0 references
compiler verification
0 references
automatic theorem proving
0 references
Boyer-Moore prover
0 references
correctness
0 references
