641 search results - page 39 / 129 » Formal Reliability Analysis Using Theorem Proving |
105
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
109
click to vote
FORTE
2007
15 years 3 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
130
click to vote
MKM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
139
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
110
Voted
ESORICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...