UK: +44 (0)20 7300 7328
USA: 407.902.9791
Japan: +81 (0)3 4530 9760

Japanese(JP)English (United Kingdom)

Monoidics

Home

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.

Dynamic Memory

A persistent problem regarding verification for real, large software programs is pointer safety and the heap. The heap is one of the hardest open problems in automatic verification. Shallow, lightweight pointer inspections ...

Read more

Correctness Proofs

The most important property of INFER is that if a correctness proof is generated for a set of procedures it guarantees memory leaks and dangling pointers won't occur in the code block. If a proof is  generated for the program ...

Read more

Mission Critical Software

INFER is a critical tool where even small errors in software development and design can lead to significant human or commercial cost. It is vital to areas such as aerospace and defense, advanced medical devices, satellite ...

Read more

Dedicated Cloud Hosting for your business with Joomla ready to go. Launch your online home with CloudAccess.net.

Copyright © 2012 Monoidics, Inc. All Rights Reserved. | Sitemap