2488 search results - page 139 / 498 » An improvement in formal verification |
115
click to vote
SIGMETRICS
2008
ACM
15 years 22 days ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
145
Voted
INLG
2010
Springer
14 years 10 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
106
click to vote
SBMF
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
117
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
The paper establishes conditions which certify a local L2 gain for interconnections of locally stable systems. The approach involves improvements to local L2 gain estimation using ...
106
Voted
CHES
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...