5084 search results - page 121 / 1017 » Proving Possibility Properties |
161
Voted
FUIN
2010
15 years 11 days ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
129
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
173
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
169
click to vote
IAW
2003
IEEE
15 years 10 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
124
click to vote
MFCS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properti...