3909 search results - page 162 / 782 » Extreme Model Checking |
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
FASE
2004
Springer
15 years 3 months ago
2004
Springer
64
Voted
FATES
2004
Springer
15 years 3 months ago
2004
Springer
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
