Sciweavers

126 search results - page 8 / 26
» Semi-external LTL Model Checking
Sort
View
86
Voted
APN
2008
Springer
14 years 11 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
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...
Kais Klai, Denis Poitrenaud
60
Voted
FOSSACS
2010
Springer
15 years 4 months ago
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
Stéphane Demri, Arnaud Sangnier