193
Voted
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...