1463 search results - page 102 / 293 » Model Checking Implicit-Invocation Systems |
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
133
click to vote
SCP
2010
15 years 2 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
119
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
129
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
111
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....