3552 search results - page 21 / 711 » Proof theory in the abstract |
124
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
106
Voted
STTT
2010
14 years 8 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
126
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
137
click to vote
SP
2008
IEEE
15 years 9 days ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Jer