1463 search results - page 145 / 293 » Model Checking Implicit-Invocation Systems |
133
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
121
click to vote
PTS
2004
15 years 2 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
128
click to vote
ASWEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
116
click to vote
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
FMSD
2006
15 years 1 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...