1895 search results - page 258 / 379 » Using ATL for Checking Models |
162
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...
158
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
134
click to vote
APN
2009
Springer
15 years 11 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
142
Voted
DNA
2005
Springer
15 years 10 months ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
134
click to vote
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...