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
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
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