126 search results - page 8 / 26 » Semi-external LTL Model Checking |
184
click to vote
APN
2008
Springer
15 years 8 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...
146
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
145
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
137
Voted
ISOLA
2007
Springer
16 years 15 days ago
2007
Springer