1492 search results - page 71 / 299 » Automatic Software Model Checking Using CLP |
136
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
116
Voted
ICCAD
2010
IEEE
14 years 11 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
124
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
128
Voted
NSDI
2004
15 years 2 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
128
Voted
FORTE
2004
15 years 3 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...