\input zb-basic
\input zb-ioport
\iteman{io-port 06070778}
\itemau{Benque, David; Bourton, Sam; Cockerton, Caitlin; Cook, Byron; Fisher, Jasmin; Ishtiaq, Samin; Piterman, Nir; Taylor, Alex; Vardi, Moshe Y.}
\itemti{{\sc Bma}: visual tool for modeling and analyzing biological networks.}
\itemso{Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 686-692 (2012).}
\itemab
Summary: BioModel Analyzer ({\sc 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.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-31424-7\_50}
\end