V

Verum Software Tools BV

6 employees

Tools that enable software engineers to develop verifiably complete and correct software for embedded systems

Basic info

software development

Software Design Automation

Formal Methods

Software

Model Driven Design

Verification not Simulation

2004