1463 search results - page 28 / 293 » Model Checking Implicit-Invocation Systems |
109
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
PROMAS
2007
Springer
15 years 5 months ago
2007
Springer
SOFSEM
2007
Springer
15 years 5 months ago
2007
Springer