3228 search results - page 34 / 646 » Computationally Sound Proofs |
132
click to vote
JAR
2010
15 years 12 days ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
118
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
101
click to vote
IJCAI
1989
15 years 3 months ago
1989
This paper describes an explanation-based approach lo learning plans despite a computationally intractable domain theory. In this approach, the system learns an initial plan using...
149
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
126
click to vote
TSE
2010
15 years 10 days ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...