Publication Details

Parallel State Space Generation and Exploration on Shared-Memory Architectures

ČEŠKA Milan, KŘENA Bohuslav and VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2005, pp. 161-164. ISBN 84-689-0432-5.
Czech title
Paralelní generování a procházení stavových prostorů na architekturách se sdílenou pamětí
Type
conference paper
Language
english
Authors
Keywords

Parallel Computing, Shared-Memory Architectures, State Space Explosion Problem, Formal Verification, Object-Oriented Petri Nets.

Abstract

In the paper, we discuss possibilities of parallel state space generation and exploration on shared-memory architectures for the case of Object Oriented Petri Nets. The goal is to combat the high time complexity of state spaces-based verification methods.

Published
2005
Pages
161-164
Proceedings
EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems
Conference
Tenth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
84-689-0432-5
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Gran Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB7711,
   author = "Milan \v{C}e\v{s}ka and Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar",
   title = "Parallel State Space Generation and Exploration on Shared-Memory Architectures",
   pages = "161--164",
   booktitle = "EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems",
   year = 2005,
   location = "Las Palmas de Gran Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "84-689-0432-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7711"
}
Back to top