641 search results - page 33 / 129 » Formal Reliability Analysis Using Theorem Proving |
209
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
112
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
100
click to vote
PR
2002
15 years 2 months ago
2002
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
157
click to vote
TPHOL
2006
IEEE
15 years 8 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
112
click to vote
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...