Black Box Checking for Biochemical Networks
We propose black box checking as a framework for analyzing biochemical networks. Black box checking was originally introduced by Peled, Yannakakis and Vardi in the context of formal verification of concurrent systems as a strategy that combines model checking and testing, as two main techniques in that area. Based on the natural analogy between biochemical networks and concurrent systems we argue that black box checking can be used to design and perform experiments in a systematic manner, and also to learn about the network underlying mechanisms. We also discuss potential applications with emphasis on forward engineering of biochemical networks.
Unable to display preview. Download preview PDF.
- 4.Bower, J.M., Belouri, H. (eds.): Computational Modeling of Genetic and Biochemical Networks. MIT Press, Cambridge (2001)Google Scholar
- 5.Bryant, C.H., Muggleton, S.H., Oliver, S.G., Kell, D.B., Reiser, P., King, R.D.: Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes. Electronic Transactions in Artificial Intelligence 6-B1(012), 1–36 (2001)Google Scholar
- 9.Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)Google Scholar
- 13.Regev, A., Silverman, W., Shapiro, E.Y.: Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. In: Pacific Symposium on Biocomputing, 2001, pp. 459–470 (2001)Google Scholar
- 14.Somogyi, R., Fuhrman, S., Wen, X.: Genetic Network Inference in Computational Models and Applications to Large Scale Gene Expression Data, in  above (2001)Google Scholar
- 15.Vasilevskii, M.P.: Failure Diagnosis of Automata. Kibernetika 4, 98–108 (1973)Google Scholar