Automating Soundness Proofs (Q2810691)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automating Soundness Proofs |
scientific article |
Statements
Automating Soundness Proofs (English)
0 references
3 June 2016
0 references
structural operational semantics
0 references
axiomatisation
0 references
soundness
0 references
theorem proving
0 references
