11 search results - page 3 / 3 » An Incremental Approach to Extracting Minimal Bad Siphons |
CORR
2006
Springer
14 years 10 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...