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

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

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

Rok RIV

2005

Vydáno

19. 9. 2005

Nakladatel

Springer Verlag

Místo

Berlin

ISBN

978-3-540-29002-5

Kniha

Computer Aided Systems Theory - EUROCAST 2005

Edice

Lecture Notes in Computer Science 3643

Strany od

275

Strany do

280

Strany počet

6

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",
  booktitle="Computer Aided Systems Theory - EUROCAST 2005",
  year="2005",
  series="Lecture Notes in Computer Science 3643",
  pages="275--280",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-29002-5"
}