Conference paper

Č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. Berlin: Springer Verlag, 2005, pp. 275-280. ISBN 978-3-540-29002-5.
Publication language:english
Original title:Parallel State Space Generation and Exploration on Shared-Memory Architectures
Title (cs):Paralelní generování a procházení stavových prostorů na architekturách se sdílenou pamětí
Proceedings:Computer Aided Systems Theory - EUROCAST 2005
Conference:Tenth International Conference on Computer Aided Systems Theory
Series:Lecture Notes in Computer Science 3643
Place:Berlin, DE
Publisher:Springer Verlag
Parallel Computing, Shared-Memory Architectures, State Space Explosion Problem, Formal Verification, Object-Oriented Petri Nets.
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.
   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 3643},
   year = 2005,
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-540-29002-5},
   language = {english},
   url = {}

Your IPv4 address:
Switch to https