641 search results - page 12 / 129 » Formal Reliability Analysis Using Theorem Proving |
80
Voted
DIAGRAMS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
APAL
2006
14 years 11 months ago
2006
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...
92
Voted
ISQED
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
71
Voted
ETRICS
2006
15 years 3 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
126
click to vote
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...