2004 search results - page 18 / 401 » Comparison of Model Checking Tools for Information Systems |
89
Voted
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
102
click to vote
CAV
2009
Springer
15 years 4 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
BMCBI
2005
14 years 11 months ago
2005
Background: Biological resources are essential tools for biomedical research. Their availability is promoted through on-line catalogues. Common Access to Biological Resources and ...