2872 search results - page 150 / 575 » On (Omega-)Regular Model Checking |
94
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
92
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
121
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
115
Voted
CAV
2004
Springer
15 years 9 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, ...