650 search results - page 130 / 130 » The SpinJa Model Checker |
127
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—It is a well known fact that user-chosen passwords are somewhat predictable: by using tools such as dictionaries or probabilistic models, attackers and password recovery tools c...
120
Voted
JACM
2002
14 years 12 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
112
Voted
MBEES
2010
14 years 10 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
93
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
109
Voted
SEUS
2010
IEEE
14 years 10 months ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...