5084 search results - page 128 / 1017 » Proving Possibility Properties |
136
Voted
LMCS
2006
15 years 5 months ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...
159
click to vote
JCS
2007
15 years 5 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
131
click to vote
NA
2007
15 years 5 months ago
2007
In 2000, Reimer proved that a positive weight quadrature rule on the unit sphere Sd ⊂ Rd+1 has the property of quadrature regularity. Hesse and Sloan used a related property, ca...
191
Voted
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
151
click to vote
ICFEM
2009
Springer
16 years 3 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...