Monoidics

Monoidics

Monoidics
Type	Proprietary Limited Company
Industry	Software
Founded	2009
Area served	Worldwide
Products	Monoidics Infer
Employees	N/A
Website	[1]

Monoidics is the commercial developer of INFER™, an automatic static analysis tool aimed at proving memory safety for C and C++. The company was founded in 2009 and has offices in the United States, the United Kingdom, and Japan.

References

• Separation Logic Tutorial
• Related Academic Papers

External links

• Monoidics company website
• Monoidics (facebook) facebook page