Monoidics

Submitted by ddino on Fri, 02/09/2011 - 14:51

Industrial Members

Contact Persons:

DISTEFANO Dino

About the company:

INFER™ Static Analysis Tool
Monoidics provides cutting-edge solutions for formal verification, memory safety analysis, and security of software.
The INFER Static Analyzer represents the next step forward in software productivity and quality assurance.
We can help get the bugs out, and prove it.