Detail publikace

Parallel State Space Generation and Exploration on Shared-Memory Architectures

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

Originální název

Parallel State Space Generation and Exploration on Shared-Memory Architectures

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Rok RIV

2005

Vydáno

11. 2. 2005

Nakladatel

The Universidad de Las Palmas de Gran Canaria

Místo

Las Palmas de Gran Canaria

ISBN

84-689-0432-5

Kniha

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

Strany od

161

Strany do

164

Strany počet

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