141 search results - page 2 / 29 » Beyond Regular Model Checking |
SOFSEM
2007
Springer
15 years 3 months ago
2007
Springer
ASM
2000
ASM
15 years 1 months ago
2000
ASM
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
CAV
2004
Springer
15 years 2 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
LOPSTR
2001
Springer
15 years 1 months ago
2001
Springer