Publication Details

Parallel State Space Generation and Exploration on Shared-Memory Architectures

ČEŠKA, M., KŘENA, B., VOJNAR, T. 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. p. 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.
Křena Bohuslav, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

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

ISBN

84-689-0432-5

Publisher

The Universidad de Las Palmas de Gran Canaria

Place

Las Palmas de Gran Canaria

BibTeX

@inproceedings{BUT21445,
  author="Milan {Češka} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="Parallel State Space Generation and Exploration on Shared-Memory Architectures",
  booktitle="EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems",
  year="2005",
  pages="161--164",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Gran Canaria",
  isbn="84-689-0432-5"
}