Searching for "Formal Verification." – sorted by Relevance.
5,342 documents found, showing 1 through 10.
Next 10 →
-
On Formal Verification of . . .
- … exclusion algorithms that can be applied for formal and rigorous verification of these algorithms. We have…
- Add To MetaCart
-
Formal Verification of Reconfigurable Cores
- …Formal Verification of Reconfigurable Cores Satnam Singh Xilinx Inc. San Jose, California, U…
- Cited by 1 (0 self) – Add To MetaCart
-
Model Abstraction for Formal Verification
- …Model Abstraction for Formal Veri cation Yee-Wing Hsieh Steven P. Levitan Department of Electrical…
- Cited by 3 (1 self) – Add To MetaCart
-
Coverage Metrics for Formal Verification
- …Coverage Metrics for Formal Verification Hana Chockler , Orna Kupferman ¢¡ , and Moshe Y. Vardi…
- Cited by 9 (2 self) – Add To MetaCart
-
Formal Verification of VIPER's ALU
- …Formal Verification of VIPER's ALU Wai Wong University of Cambridge Computer Laboratory New Museums…
- Cited by 3 (2 self) – Add To MetaCart
-
Formal Verification of Communication Protocols
- …Formal Verification of Communication Protocols M. A. S. Smith Laboratory for Computer Science…
- Cited by 22 (4 self) – Add To MetaCart
-
Formal Verification of Microprocessors at AMD
- …Formal Verification of Microprocessors at AMD April 6, 2002 Arthur Flatau Matt Kaufmann (speaker…
- Cited by 3 (2 self) – Add To MetaCart
-
An Improvement in Formal Verification
- …An Improvement in Formal Verification Gerard J. Holzmann Doron Peled AT&T Bell Laboratories Murray…
- Add To MetaCart
-
On bridging simulation and formal verification
- …On Bridging Simulation and Formal Verification Eugene Goldberg Cadence Research Labs, USA, 2150…
- Cited by 1 (0 self) – Add To MetaCart
-
Exploiting Refactoring in Formal Verification
- …Exploiting Refactoring in Formal Verification Xiang Yin, John Knight, Westley Weimer Department…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
