Knowledge Center ➜ Entities

Valiosys

Formal verification solutions
popularity

Description

Valiosys’ technology, called Linear Programming Validation (LPV), uses mathematical techniques to automatically validate SW and HW systems’ architectural models against specification requirements.

  • HQ: Caen, France
  • Other names: TNI-Valiosys
  • Type: Company

ACQUISITION:

OUT OF BUSINESS BY:

  • Valiosys went out of business in 2011
  • Type: Company

Tags