141 search results - page 2 / 29 » Beyond Regular Model Checking |
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
ASM
2000
ASM
13 years 9 months ago
2000
ASM
CAV
2007
Springer
13 years 11 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
13 years 10 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
13 years 9 months ago
2001
Springer