publication . Part of book or chapter of book . Other literature type . Conference object . 2017

bringing ltl model checking to biologists

Ahmed, Z; Benque, D; Berezin, S; Dahl, ACE; Fisher, Jasmin; Hall, Benjamin Andrew; Ishtiaq, S; Nanavati, J; Piterman, N; Riechert, M; ...
Open Access
  • Published: 11 Apr 2017
  • Publisher: Springer International Publishing
  • Country: United Kingdom
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...
Subjects
free text keywords: Order of operations, Educational resources, Natural language, Web application, business.industry, business, Dialog system, computer.software_genre, computer, Natural language user interface, Computer science, Theoretical computer science, Graphical user interface, Model checking
Download fromView all 4 versions
https://leicester.figshare.com...
Part of book or chapter of book
Provider: UnpayWall
Apollo
Conference object . 2018
Provider: Apollo
http://dx.doi.org/10.17863/CAM...
Other literature type . 2017
Provider: Datacite
Apollo
Part of book or chapter of book . 2017
Provider: Apollo
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Part of book or chapter of book . Other literature type . Conference object . 2017

bringing ltl model checking to biologists

Ahmed, Z; Benque, D; Berezin, S; Dahl, ACE; Fisher, Jasmin; Hall, Benjamin Andrew; Ishtiaq, S; Nanavati, J; Piterman, N; Riechert, M; ...