2488 search results - page 12 / 498 » An improvement in formal verification |
109
click to vote
VLSID
2003
IEEE
16 years 1 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...
100
click to vote
FORTE
1994
15 years 2 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...
103
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
121
Voted
ETFA
2006
IEEE
15 years 4 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...
100
Voted
TFM
2009
Springer
15 years 7 months ago
2009
Springer