683 search results - page 43 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
154
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
134
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
136
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
165
click to vote
AAAI
2011
14 years 4 months ago
2011
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
173
click to vote
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...