1108 search results - page 154 / 222 » Model Checking of Safety Properties |
111
click to vote
ATVA
2010
Springer
15 years 23 days ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
94
Voted
ENTCS
2006
15 years 18 days ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
114
Voted
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
120
click to vote
FORTE
2004
15 years 2 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
99
Voted
TRUSTBUS
2007
Springer
15 years 6 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...