Detail publikačního výsledku

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

Anglický název

Parallel State Space Generation and Exploration on Shared-Memory Architectures

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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.

Klíčová slova v angličtině

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.

Vydáno

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