2488 search results - page 12 / 498 » An improvement in formal verification |
VLSID
2003
IEEE
14 years 10 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
FORTE
1994
13 years 11 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
TFM
2009
Springer
14 years 4 months ago
2009
Springer