Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Bringing LTL Model Checking to Biologists
KTH, Skolan för teknik och hälsa (STH), Centra, Centrum för teknik i medicin och hälsa, CTMH.
Visa övriga samt affilieringar
2017 (Engelska)Ingår i: VMCAI 2017: Verification, Model Checking, and Abstract Interpretation / [ed] Bouajjani, A Monniaux, D, Springer, 2017, Vol. 10145, s. 1-13Konferensbidrag (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer, 2017. Vol. 10145, s. 1-13
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10145
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:kth:diva-217224DOI: 10.1007/978-3-319-52234-0_1ISI: 000413069800001Scopus ID: 2-s2.0-85010679802ISBN: 9783319522340 (tryckt)ISBN: 9783319522333 (tryckt)OAI: oai:DiVA.org:kth-217224DiVA, id: diva2:1154821
Konferens
18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), JAN 15-17, 2017, Paris, France
Anmärkning

QC 20171106

Tillgänglig från: 2017-11-06 Skapad: 2017-11-06 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Dahl, Anna Caroline E.Fisher, JasminPiterman, Nir
Av organisationen
Centrum för teknik i medicin och hälsa, CTMH
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 369 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf