The formal derivation of algorithm and automatic verification based on Isabelle (Q4624465)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The formal derivation of algorithm and automatic verification based on Isabelle |
scientific article; zbMATH DE number 7028683
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The formal derivation of algorithm and automatic verification based on Isabelle |
scientific article; zbMATH DE number 7028683 |
Statements
22 February 2019
0 references
formal methods
0 references
Isabelle theorem prover
0 references
automatic verification
0 references
formal derivation
0 references
0.6885286569595337
0 references
0.6867701411247253
0 references
0.674206554889679
0 references
