International Journal on Software Tools for Technology Transfer (STTT)

Volume 1 / 1997 - Volume 14 / 2012

Volume 7, Number 1 / February 2005

Viewing all 7 articles

Search within

Title

International Journal on Software Tools for Technology Transfer (STTT)

Coverage

Volume 1 / 1997 - Volume 14 / 2012

Collection

Computer Science

Subjects

ISSN

1433-2779 (Print)
1433-2787 (Online)

Additional Links

Publisher

Springer Berlin / Heidelberg

SpringerLink Date

Friday, April 05, 2002

Special section on parallel and distributed model checking

1-3
Special section on parallel and distributed model checking
Introductory paper
Luboš Brim and Orna Grumberg
- Download PDF (235.3 KB)
4-18
Special section on parallel and distributed model checking
Issues in distributed timed model checking
Building Zeus
Víctor Braberman, Alfredo Olivero and Fernando Schapachnik
- Download PDF (1.0 MB)
19-30
Special section on parallel and distributed model checking
Distributed reachability analysis in timed automata
Gerd Behrmann
- Download PDF (1.0 MB)
- View HTML
31-42
Special section on parallel and distributed model checking
Parallel search for LTL violations
Michael D. Jones and Jacob Sorber
- Download PDF (624.3 KB)
43-60
Special section on parallel and distributed model checking
Sequential and distributed model checking of Petri nets
Alexander Bell and Boudewijn R. Haverkort
- Download PDF (2.0 MB)
61-73
Special section on parallel and distributed model checking
Assumption-based distribution of CTL model checking
Luboš Brim, Karen Yorav and Jitka Žídková
- Download PDF (1.3 MB)
74-86
Special section on parallel and distributed model checking
A distributed algorithm for strong bisimulation reduction of state spaces
Stefan Blom and Simona Orzan
- Download PDF (755.1 KB)