641 search results - page 24 / 129 » Formal Reliability Analysis Using Theorem Proving |
146
click to vote
NFM
2011
14 years 9 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
104
Voted
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
114
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
140
click to vote
ICFEM
1997
Springer
15 years 6 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
103
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...