9067 search results - page 164 / 1814 » Adaptive Model Checking |
94
Voted
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
139
Voted
CAV
2001
Springer
15 years 9 months ago
2001
Springer
143
Voted
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...