| |
|
|
| |
|
|
DbC Automation JML
|
|
|
|
Tags:
Automation , Automation , Briefly , Contract , DbC , Design , Examp , First , JML , JML , Logic , Logic , Mechanics , Mechanics , Order , Overview
|
By
Bruno
|
|
Education
|
22 months ago|
 Download
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
| |
|
|
ynot march 2007
|
|
|
|
Tags:
ATS , Coq , Demo , DML , ESC , Isabelle , JML , Knot , Naught , Omega , PRL , Purity , Quick , Refinement , Spec , Y0 , Ynot
|
|
By
Sabatini
|
|
|
Entertainment
|
29 months ago|
Download
|
|
|
| |
|
|
| |