Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826)
From MaRDI portal
scientific article; zbMATH DE number 7785151
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integrating ADTs in KeY and their application to history-based reasoning about collection |
scientific article; zbMATH DE number 7785151 |
Statements
Integrating ADTs in KeY and their application to history-based reasoning about collection (English)
0 references
8 January 2024
0 references
formal verification
0 references
abstract data types
0 references
program correctness
0 references
Java collection framework
0 references
KeY
0 references
JML
0 references
Isabelle/HOL
0 references
0 references
