An overview of existing modeling tools making use of model checking in the analysis of biochemical networks
Model checking is a well-established technique for automaticallyverifying complex systems. Recently, model checkers have appearedin computer tools for the analysis of biochemical (and generegulatory) networks. We survey several such tools to assess thepotential of model checking in computational bio...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Frontiers Media S.A.
2012-07-01
|
| Series: | Frontiers in Plant Science |
| Subjects: | |
| Online Access: | http://journal.frontiersin.org/Journal/10.3389/fpls.2012.00155/full |