Chapter 20
Benefits of UEFI in Manufacturing and Test Intel Corporation Software and Services Group.
Applications of Craig Interpolation to Model Checking K. L. McMillan Cadence Berkeley Labs.
1 Verification of Infinite State Systems by Compositional Model Checking Ken McMillan Cadence Berkeley Labs.
OOP for Hardware Verification--Demystified!
Constructive Modal Logics, Once Again
Tdd and a new paradigm for hardware verification
Check shavad
MIMO 108Mbps Pre N Wireless CardBus Adapter
Desel, Esparza - Free Choice Petri Nets(1)
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs Mohamed Zaki, Ghiath Al Sammane, Sofiene Tahar, Guy Bois FMCAD'07.
Advanced Technology Center Slide 1 Formal Verification of Flight Critical Software Dr. Steven P. Miller Advanced Computing Systems Elise A. Anderson Commercial.