3147 search results - page 63 / 630 » Open-Source Model Checking |
BMCBI
2010
13 years 10 months ago
2010
Background: Flux variability analysis is often used to determine robustness of metabolic models in various simulation conditions. However, its use has been somehow limited by the ...
ICDE
2011
IEEE
13 years 2 months ago
2011
IEEE
Abstract—Hyracks is a new partitioned-parallel software platform designed to run data-intensive computations on large shared-nothing clusters of computers. Hyracks allows users t...
FASE
2012
Springer
12 years 6 months ago
2012
Springer
The adoption of distributed version control (DVC), such as Git and Mercurial, in open-source software (OSS) projects has been explosive. Why is this and how are projects using DVC?...
ICSOC
2007
Springer
14 years 4 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
AUSAI
2005
Springer
14 years 3 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...