2873 search results - page 317 / 575 » Model Checking and the Mu-calculus |
AI
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...
147
click to vote
MOC
2002
15 years 3 months ago
2002
The mortar technique turns out to be well adapted to handle mesh adaptivity in finite elements, since it allows for working with nonnecessarily compatible discretizations on the el...
148
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
124
click to vote
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
153
Voted
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...