Sciweavers

3909 search results - page 170 / 782
» Extreme Model Checking
Sort
View
SPIN
2001
Springer
15 years 7 months ago
Distributed LTL Model-Checking in SPIN
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...
Jiri Barnat, Lubos Brim, Jitka Stríbrn&aacu...
131
Voted
SPIN
2001
Springer
15 years 7 months ago
Directed Explicit Model Checking with HSF-SPIN
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...
98
Voted
TACAS
2001
Springer
96views Algorithms» more  TACAS 2001»
15 years 7 months ago
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram K. Rajamani
102
Voted
TACAS
2001
Springer
111views Algorithms» more  TACAS 2001»
15 years 7 months ago
Linear Parametric Model Checking of Timed Automata
Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...
111
Voted
TACS
2001
Springer
15 years 7 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...