Overture Tool
Formal Modelling in VDM
Overture Tool Screenshots
See Overture in Operation
Editing
- Easy editing with color highlighting of keywords
- Outline of source files for easy navigation
Checking
- On-the-fly syntax and type checking
- Combinatorial testing
- Proof obligation generation
- Run-time checking of pre-/post- conditions, measures and invariants
Debugging
- Integrated debugger
- Advanced breakpoints (conditional/hit count)
- Stepping
- Coverage generation and presentation
- Real-Time time log generation of execution and deployment
Other tool features
- Latex document generation
- Coverage Editor
- Quick Interpreter
- Proof obligation viewer
- Import / Export of UML 2.0 class diagrams using XMI
- Real-time log viewer of deployment and call timing on system architecture