Black box checking for biochemical networks

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelComputational Methods in Systems Biology (2nd International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers)
RedacteurenV. Danos, V. Schächter
Plaats van productieBerlin
UitgeverijSpringer
Pagina's225-230
ISBN van geprinte versie3-540-25375-0
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamLecture Notes in Computer Science
Volume3082
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Black box checking for biochemical networks'. Samen vormen ze een unieke vingerafdruk.

Citeer dit