生物学计算机辅助验证技术

2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2014-10-21 DOI:10.1109/FMCAD.2014.6987588

T. Henzinger

{"title":"生物学计算机辅助验证技术","authors":"T. Henzinger","doi":"10.1109/FMCAD.2014.6987588","DOIUrl":null,"url":null,"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.","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"59 2 1","pages":"11"},"PeriodicalIF":0.0000,"publicationDate":"2014-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Computer-aided verification technology for biology\",\"authors\":\"T. Henzinger\",\"doi\":\"10.1109/FMCAD.2014.6987588\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":6479,\"journal\":{\"name\":\"2016 Formal Methods in Computer-Aided Design (FMCAD)\",\"volume\":\"59 2 1\",\"pages\":\"11\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-10-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 Formal Methods in Computer-Aided Design (FMCAD)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FMCAD.2014.6987588\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 Formal Methods in Computer-Aided Design (FMCAD)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FMCAD.2014.6987588","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们总结了利用计算机辅助验证技术来理解生物系统的一些最新成果。这包括使用反应模型来指定细胞机制，使用符号状态空间探索来分析分子反应网络，以及使用SMT求解器来研究基因调控回路的进化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Computer-aided verification technology for biology

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2016 Formal Methods in Computer-Aided Design (FMCAD)

自引率

0.00%

发文量