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: Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science, vol. 3643. Berlin: Springer Verlag, 2005, pp. 275-280. ISBN 978-3-540-29002-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
275-280
Proceedings
Computer Aided Systems Theory - EUROCAST 2005
Series
Lecture Notes in Computer Science
Volume
3643
Conference
Tenth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-3-540-29002-5
Publisher
Springer Verlag
Place
Berlin, DE
BibTeX
@INPROCEEDINGS{FITPUB7885,
   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 = "275--280",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2005",
   series = "Lecture Notes in Computer Science",
   volume = 3643,
   year = 2005,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-540-29002-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7885"
}
Back to top