6 search results - page 2 / 2 » Symbolic Simulation, Model Checking and Abstraction with Par... |
CORR
2006
Springer
13 years 4 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...