27 search results - page 6 / 6 » Formal Analysis of a Self-Stabilizing Algorithm Using Predic... |
ISSTA
2009
ACM
14 years 26 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
VSTTE
2005
Springer
13 years 12 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...