641 search results - page 45 / 129 » Formal Reliability Analysis Using Theorem Proving |
117
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
111
Voted
JUCS
2006
15 years 2 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
123
click to vote
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
158
Voted
TII
2008
15 years 2 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
126
click to vote
ECSA
2010
Springer
15 years 2 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...