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
Č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)
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
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" }