Bma: Visual Tool for Modeling and Analyzing Biological Networks

@inproceedings{Benque2012BmaVT,
  title={Bma: Visual Tool for Modeling and Analyzing Biological Networks},
  author={David Benque and Sam Bourton and Caitlin Cockerton and Byron Cook and Jasmin Fisher and Samin Ishtiaq and Nir Piterman and Alex S. Taylor and Moshe Y. Vardi},
  booktitle={CAV},
  year={2012}
}
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… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 19 references

Similar Papers

Loading similar papers…