641 search results - page 50 / 129 » Formal Reliability Analysis Using Theorem Proving |
121
Voted
CADE
1994
Springer
15 years 6 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
143
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
119
click to vote
SAS
1999
Springer
15 years 6 months ago
1999
Springer
ing Cryptographic Protocols with Tree Automata David Monniaux http://www.di.ens.fr/%7Fmonniaux, Laboratoire d’Informatique, ´Ecole Normale Sup´erieure, 45 rue d’Ulm , 75230 P...
100
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
115
click to vote
IRI
2003
IEEE
15 years 7 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...