Case Study

Microsoft Research Bio Model Analyzer

Microsoft Research Bio Model Analyzer

Bio Model Analyzer (BMA) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for biologists with no previous knowledge in programming or formal methods. The current implementation analyzes systems to establish stabilization. The results of the analysis|whether they be proofs or counterexamples|are represented visually.


To learn more please visit:


Related Work

All Work

Get In Touch

"They are a joy to work with – very professional, very skilled and also great fun to work with which comes in very handy on those long shooting days!"