2661 search results - page 247 / 533 » Model Checking Performability Properties |
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
116
click to vote
JSA
2006
15 years 1 months ago
2006
Data-shipping systems that allow inter-transaction caching raise the need of a transactional cache consistency maintenance (CCM) protocol because each client is able to cache a po...
117
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
145
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
131
Voted
JACM
2002
15 years 25 days 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: ...