Title :
Computer-aided verification technology for biology
Author :
Henzinger, Thomas A.
Author_Institution :
IST Austria, Austria
Abstract :
We summarize some recent results on using computed-aided verification technology for understanding biological systems. This includes the use of reactive models for specifying cellular mechanisms, the use of symbolic state space exploration for analyzing molecular reaction networks, and the use of SMT solvers for studying the evolution of gene regulatory circuits.
Keywords :
biology computing; computability; formal verification; genetic algorithms; molecular biophysics; state-space methods; SMT solvers; biological system; biology; cellular mechanism; computer-aided verification technology; gene regulatory circuits; molecular reaction networks; reactive model; symbolic state space exploration;
Conference_Titel :
Formal Methods in Computer-Aided Design (FMCAD), 2014
Conference_Location :
Lausanne
DOI :
10.1109/FMCAD.2014.6987588
