136
Voted
SEFM
2007
IEEE
16 years 2 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...