Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/39503
Title: Bringing LTL model checking to biologists
Authors: Ahmed, Zara
Benque, David
Berezin, Sergey
Dahl, Anna Caroline E.
Fisher, Jasmin
Hall, Benjamin A.
Ishtiaq, Samin
Nanavati, Jay
Piterman, Nir
Riechert, Maik
Skoblov, Nikita
First Published: 12-Jan-2017
Presented at: 18th International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2017, Paris
Start Date: 15-Jan-2017
End Date: 17-Jan-2017
Publisher: Springer Verlag (Germany)
Citation: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10145 LNCS, pp. 1-13
Abstract: 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.
Series/Report no.: Lecture Notes in Computer Science (LNCS);10145
DOI Link: 10.1007/978-3-319-52234-0_1
ISSN: 0302-9743
ISBN: 9783319522333
eISSN: 1611-3349
Links: https://link.springer.com/chapter/10.1007%2F978-3-319-52234-0_1
http://hdl.handle.net/2381/39503
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © 2017, Springer Verlag (Germany). Deposited with reference to the publisher’s open access archiving policy.
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
cav2016.pdfPost-review (final submitted author manuscript)910.07 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.