r7 - 25 Oct 2008 - 22:33:20 - MiguelFerreiraYou are here: Overture >  Main Web  >  AutomaticProof > AutomaticProofDownloads

Automated proof downloads

VDM to HOL translator

Tactics

The tactics that can be used to prove VDM proof obligations automatically

Documentation

-- SanderVermolen - 17 Jan 2008

toggleopenShow attachmentstogglecloseHide attachments
Topic attachments
I Attachment Action Size Date Who Comment
zipzip vdmHolTranslatorV01.zip manage 181.0 K 22 Apr 2008 - 09:50 SanderVermolen  
zipzip vdmHolTranslatorV02.zip manage 170.0 K 22 Apr 2008 - 09:50 SanderVermolen  
pdfpdf thesisSanderVermolen.pdf manage 724.4 K 22 Apr 2008 - 09:50 SanderVermolen  
txttxt vdmTactics.txt manage 3.9 K 22 Apr 2008 - 09:50 SanderVermolen  
zipzip translatorV03.zip manage 170.1 K 24 Oct 2008 - 09:48 SanderVermolen  
Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r7 < r6 < r5 < r4 < r3 | More topic actions
 
Overture Open-Source Formal Method Tools
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Overture? Send feedback