Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Bringing LTL Model Checking to Biologists
KTH, School of Technology and Health (STH), Centres, Centre for Technology in Medicine and Health, CTMH.
Show others and affiliations
2017 (English)In: VMCAI 2017: Verification, Model Checking, and Abstract Interpretation / [ed] Bouajjani, A Monniaux, D, Springer, 2017, Vol. 10145, 1-13 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2017. Vol. 10145, 1-13 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10145
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-217224DOI: 10.1007/978-3-319-52234-0_1ISI: 000413069800001Scopus ID: 2-s2.0-85010679802ISBN: 9783319522340 (print)ISBN: 9783319522333 (print)OAI: oai:DiVA.org:kth-217224DiVA: diva2:1154821
Conference
18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), JAN 15-17, 2017, Paris, France
Note

QC 20171106

Available from: 2017-11-06 Created: 2017-11-06 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Dahl, Anna Caroline E.Fisher, JasminPiterman, Nir
By organisation
Centre for Technology in Medicine and Health, CTMH
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf