Detail publikace

Parallel State Space Generation and Exploration on Shared-Memory Architectures

KŘENA, B., ČEŠKA, M., 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{BUT29277,
  author="Bohuslav {Křena} and Milan {Češka} 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="Springer Verlag",
  booktitle="Computer Aided Systems Theory - EUROCAST 2005",
  chapter="29277",
  edition="Lecture Notes in Computer Science 3643",
  institution="Springer Verlag",
  journal="Lecture Notes in Computer Science (IF 0,513)",
  year="2005",
  month="september",
  pages="275--280",
  publisher="Springer Verlag",
  type="conference paper"
}