Overture 0.1.13

Developer
Overture tool
Size
64.7 MB
Operating System
Mac
License
Freeware
Category
Programming-Tools

Download Links

Download
Overture

The Overture tools are being developed by volunteers, research scientists and students. You can find an overview of us at WhoIsWho. Anyone interested (from both industry and academia) is welcome to join the project as an active member.

Features of Overture

  • Combinatorial Testing
  • Static model checking
  • Debugging
  • Proof obligation generation
  • Formal verification

 

LEAVE A REPLY

Please enter your comment!
Please enter your name here