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

Formal Methods

Software Design Automation

Model Driven Design

Software

Verification not Simulation

2004