|
EDAptive® EDAassure™
is Edaptive’s suite of formal methods based methodologies and tools that moves
beyond normal validation and testing techniques into mathematical techniques
that cover the entire space of inputs to a component – a task that is intractable
for ordinary testing. Moreover,
mathematical formal models add to the understanding of complex systems in ways
that add to design and mission assurance even without the tremendous benefit of
formal verification. EDAassure
includes:
- EDAptive® FormalProver: Theorem Proving safety
of Control Software
- EDAptive® FormalChecker: Model Checking
mission-critical software
Request Whitepaper
EDAptive® is a registered trademark of Edaptive Computing,
Inc.
|
