cav2016.pdf (910.07 kB)
Download file

Bringing LTL model checking to biologists

Download (910.07 kB)
conference contribution
posted on 20.03.2017, 10:04 by Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
The BioModelAnalyzer (BMA) is a web based tool for the development of discrete models of biological systems. Through a graphical user interface, it allows rapid development of complex models of gene and protein interaction networks and stability analysis without requiring users to be proficient computer programmers. Whilst stability is a useful specification for testing many systems, testing temporal specifications in BMA presently requires the user to perform simulations. Here we describe the LTL module, which includes a graphical and natural language interfaces to testing LTL queries. The graphical interface allows for graphical construction of the queries and presents results visually in keeping with the current style of BMA. The Natural language interface complements the graphical interface by allowing a gentler introduction to formal logic and exposing educational resources.

History

Citation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10145 LNCS, pp. 1-13

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

18th International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2017, Paris

Version

AM (Accepted Manuscript)

Published in

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publisher

Springer Verlag (Germany)

issn

0302-9743

eissn

1611-3349

isbn

9783319522333

Copyright date

2017

Available date

20/03/2017

Publisher version

https://link.springer.com/chapter/10.1007/978-3-319-52234-0_1

Book series

Lecture Notes in Computer Science (LNCS);10145

Temporal coverage: start date

15/01/2017

Temporal coverage: end date

17/01/2017

Language

en

Usage metrics

Categories

Keywords

Exports