641 search results - page 25 / 129 » Formal Reliability Analysis Using Theorem Proving |
99
Voted
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
100
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
137
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
112
click to vote
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
108
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...