A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler (Q5056076)
From MaRDI portal
scientific article; zbMATH DE number 7631593
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler |
scientific article; zbMATH DE number 7631593 |
Statements
A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler (English)
0 references
9 December 2022
0 references
algebraic specification
0 references
CafeOBJ
0 references
compiler
0 references
formal verification
0 references
proof score
0 references
theorem proving
0 references
