Search Sciweavers | Sciweavers

4502 search results - page 186 / 901

» Regular Model Checking

177

click to vote

SPIN
2001
Springer

125views Theoretical Computer Science» more SPIN 2001»

Distributed LTL Model-Checking in SPIN

15 years 11 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 »

181

click to vote

SPIN
2001
Springer

144views Theoretical Computer Science» more SPIN 2001»

Directed Explicit Model Checking with HSF-SPIN

15 years 11 months ago

Download www.albertolluch.com

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

claim paper

Read More »

151

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 11 months ago

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

149

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

15 years 11 months ago

Download www.brics.dk

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

claim paper

Read More »

124

click to vote

DATE
2000
IEEE

76views Hardware» more DATE 2000»

Iterative Abstraction-Based CTL Model Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers