126 search results - page 8 / 26 » Semi-external LTL Model Checking |
128
Voted
APN
2008
Springer
15 years 4 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
144
Voted
MEMICS
2010
14 years 9 months ago
2010
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
ISOLA
2007
Springer
15 years 8 months ago
2007
Springer