928 search results - page 15 / 186 » Interpolation-sequence based model checking |
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
CBSE
2008
Springer
14 years 12 months ago
2008
Springer
52
Voted
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
