About Monoidics ltd

About company

Monoidics is a high-tech enterprise specialising in automatic formal verification and analysis of software. Founded in the beginning of 2009 by a group of computer scientists from London and Cambridge, Monoidics designs automatic verification technology for safety critical industrial software. Monoidics' mission is to bring verification and program analysis research to the forefront of industrial practice. Based in London, Monoidics operates world-wide and has strong links with key industrial players in safety critical systems in Europe, USA, and Japan.