Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7785151
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.94239664
0 references
0.78369844
0 references
0.78369844
0 references
0.7817012
0 references
0 references
0.7737406
0 references
