1914 search results - page 83 / 383 » Verification by Abstract Interpretation |
92
Voted
DC
2000
15 years 12 days ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
112
Voted
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
123
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
113
Voted
FMSD
2000
15 years 12 days ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
105
click to vote
VLSID
2007
IEEE
16 years 29 days ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...