Search Sciweavers | Sciweavers

10870 search results - page 257 / 2174

» Model Checking Programs

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 »

180

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 »

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 »

151

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 11 months ago

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

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