Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023)
From MaRDI portal
scientific article; zbMATH DE number 7785153
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concise outlines for a complex logic: a proof outline checker for TaDA |
scientific article; zbMATH DE number 7785153 |
Statements
Concise outlines for a complex logic: a proof outline checker for TaDA (English)
0 references
8 January 2024
0 references
software verification
0 references
program verifier
0 references
automated verification
0 references
separation logic
0 references
fine-grained concurrency
0 references
formal methods
0 references
0 references
