BMA: visual tool for modeling and analyzing biological networks

David Benque, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex Taylor, and Moshe Y. Vardi

Abstract

BioModel 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. This paper describes the approach to modeling used in bma and also notes soon-to-be-released extensions to the tool.

Details

Publication typeProceedings
Published inProceedings of the 24th international conference on Computer Aided Verification
URL10.1007/978-3-642-31424-7_50
Pages686–692
SeriesCAV'12
ISBN978-3-642-31423-0
AddressBerlin, Heidelberg
PublisherSpringer-Verlag
> Publications > BMA: visual tool for modeling and analyzing biological networks