641 search results - page 11 / 129 » Formal Reliability Analysis Using Theorem Proving |
AML
2007
14 years 11 months ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
SAC
2010
ACM
14 years 6 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
125
Voted
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
FM
2008
Springer
15 years 1 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...