Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms (Q6091296)
From MaRDI portal
scientific article; zbMATH DE number 7770421
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms |
scientific article; zbMATH DE number 7770421 |
Statements
Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms (English)
0 references
24 November 2023
0 references
tactics
0 references
metaprogramming
0 references
program verification
0 references
verification conditions
0 references
SMT solvers
0 references
proof assistants
0 references
