Mechanised Wire-wise Verification of Handel-C Synthesis (Q5179364)
From MaRDI portal
scientific article; zbMATH DE number 6417340
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanised Wire-wise Verification of Handel-C Synthesis |
scientific article; zbMATH DE number 6417340 |
Statements
Mechanised Wire-wise Verification of Handel-C Synthesis (English)
0 references
19 March 2015
0 references
Handel-C synthesis
0 references
mechanical verification
0 references
HOL
0 references
