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í
Pages:275-280
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
Year:2005
ISBN:978-3-540-29002-5
Publisher:Springer Verlag
Keywords
Parallel Computing, Shared-Memory Architectures, State Space Explosion Problem, Formal Verification, Object-Oriented Petri Nets.
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7885}
}

Your IPv4 address: 34.204.179.0
Switch to https