1492 search results - page 9 / 299 » Automatic Software Model Checking Using CLP |
VSTTE
2005
Springer
14 years 26 days ago
2005
Springer
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
ESEC
1999
Springer
13 years 11 months ago
1999
Springer
SEFM
2006
IEEE
14 years 1 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...