1. Home
  2. >
  3. Technology
  4. >
  5. Analytical Verification

ASD:Suite© for rapid software design and defect-Free code 

ASD Verification Technology

Advantage: Precision 

Verum’s patented ASD technology is at the core of the model-driven design approach. It offers a new way to formally verify the completeness and correctness of software designs using our own mathematical methods.

 

Until now, most software architects have been unable to employ Formal Methods techniques to verify product design and function. Either they were considered too difficult to learn or too expensive to use and maintain for common code bases.

 

With the introduction of ASD:Suite software design (CAD) platform,  the focus moves from defect removal to defect prevention.  Its formal verification engine gives software architects the power to:

  • Verify that specifications are complete.
  • Model the behaviours of all system components and interfaces.
  • Produce defect-free code after verifying designs are complete and correct.
  • Guarantee equivalence between specifications, designs, formal models and behaviour of generated code.
  • Ensure mathematical integrity throughout the design process.