Publication detail

Parallel State Space Generation and Exploration on Shared-Memory Architectures

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

Original Title

Parallel State Space Generation and Exploration on Shared-Memory Architectures

Type

conference paper

Language

English

Original Abstract

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.

Keywords

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

Authors

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

RIV year

2005

Released

19. 9. 2005

Publisher

Springer Verlag

Location

Berlin

ISBN

978-3-540-29002-5

Book

Computer Aided Systems Theory - EUROCAST 2005

Edition

Lecture Notes in Computer Science 3643

Pages from

275

Pages to

280

Pages count

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