4047 search results - page 201 / 810 » Algebraic Model Checking |
109
Voted
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
147
Voted
APN
2001
Springer
15 years 11 months ago
2001
Springer
160
Voted
CAV
2001
Springer
15 years 11 months ago
2001
Springer
170
Voted
CHARME
2001
Springer
15 years 11 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...