Expander2: Program Verification Between Interaction and Automation (Q2873787)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expander2: Program Verification Between Interaction and Automation |
scientific article |
Statements
Expander2: Program Verification Between Interaction and Automation (English)
0 references
24 January 2014
0 references
algebraic and coalgebraic specification
0 references
program verification
0 references
theorem proving
0 references
constraint solving
0 references
rewriting
0 references
transition systems
0 references
modal logics
0 references
