EditAttachPrintable
r3 - 18 Nov 2007 - 12:23:11 - HugoMacedoYou are here: TWiki >  Main Web  > InterpreterDebugger

Interpreter with Debugging Functionality for VDM++

The current objectives of this subproject are the development of a tool for debug VDM++ models. This tool will be deployed as an Eclipse debug plugin, extending the built-in debugging features in the Eclipse Framework.

-- HugoMacedo - 25 Jul 2007

toggleopenShow attachmentstogglecloseHide attachments
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf LabMFReport.pdf manage 651.7 K 18 Nov 2007 - 12:22 HugoMacedo Report on the first steps towards the Overture Interpreter
Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r3 < r2 < r1 | 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 TWiki? Send feedback