Search Sciweavers | Sciweavers

2873 search results - page 161 / 575

» Model Checking and the Mu-calculus

164

click to vote

SPIN
2001
Springer

125views Theoretical Computer Science» more SPIN 2001»

Distributed LTL Model-Checking in SPIN

15 years 10 months ago

Download anna.fi.muni.cz

Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-ﬁrst search algorithm in di...

Jiri Barnat, Lubos Brim, Jitka Stríbrn&aacu...

claim paper

Read More »

169

click to vote

SPIN
2001
Springer

144views Theoretical Computer Science» more SPIN 2001»

Directed Explicit Model Checking with HSF-SPIN

15 years 10 months ago

Download www.albertolluch.com

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...

claim paper

Read More »

137

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 10 months ago

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

139

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

15 years 10 months ago

Download www.brics.dk

Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...

claim paper

Read More »

139

Voted

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers