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
