Publication detail

Parallel State Space Generation and Exploration on Shared-Memory Architectures

ČEŠKA, M., KŘENA, B., VOJNAR, T.

Original Title

Parallel State Space Generation and Exploration on Shared-Memory Architectures

Type

conference paper

Language

English

Original 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.

Keywords

Parallel Computing, Shared-Memory Architectures, State Space Explosion Problem, Formal Verification, Object-Oriented Petri Nets.

Authors

ČEŠKA, M., KŘENA, B., VOJNAR, T.

RIV year

2005

Released

11. 2. 2005

Publisher

The Universidad de Las Palmas de Gran Canaria

Location

Las Palmas de Gran Canaria

ISBN

84-689-0432-5

Book

EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems

Pages from

161

Pages to

164

Pages count

4

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