3147 search results - page 252 / 630 » Open-Source Model Checking |
148
Voted
SCP
2010
15 years 1 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
151
Voted
ISMB
2007
15 years 5 months ago
2007
Motivation: A few years ago, FlyBase undertook to design a new database schema to store Drosophila data. It would fully integrate genomic sequence and annotation data with bibliog...
130
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
158
click to vote
TYPES
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
116
Voted
ISMAR
2007
IEEE
15 years 9 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...