1129 search results - page 4 / 226 » Formal Verification of Websites |
111
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
117
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
DAC
2005
ACM
15 years 3 months ago
2005
ACM
113
click to vote
TPHOL
2000
IEEE
15 years 5 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
130
Voted
DAC
1997
ACM
15 years 5 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...