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

Anglický název

Parallel State Space Generation and Exploration on Shared-Memory Architectures

Jazyk

en

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.

Dokumenty

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",
  annote="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.
", address="The Universidad de Las Palmas de Gran Canaria", booktitle="EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems", chapter="21445", institution="The Universidad de Las Palmas de Gran Canaria", year="2005", month="february", pages="161--164", publisher="The Universidad de Las Palmas de Gran Canaria", type="conference paper" }