• DocumentCode
    1768156
  • Title

    Computer-aided verification technology for biology

  • Author

    Henzinger, Thomas A.

  • Author_Institution
    IST Austria, Austria
  • fYear
    2014
  • fDate
    21-24 Oct. 2014
  • Firstpage
    11
  • Lastpage
    11
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods in Computer-Aided Design (FMCAD), 2014
  • Conference_Location
    Lausanne
  • Type

    conf

  • DOI
    10.1109/FMCAD.2014.6987588
  • Filename
    6987588
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1768156