Publication Details

Parallel State Space Generation and Exploration on Shared-Memory Architectures

KŘENA, B.; ČEŠKA, M.; VOJNAR, T. Parallel State Space Generation and Exploration on Shared-Memory Architectures. Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2005. p. 275-280. ISBN: 978-3-540-29002-5.

Czech title

Paralelní generování a procházení stavových prostorů na architekturách se sdílenou pamětí

Type

conference paper

Language

English

Authors

Křena Bohuslav, Ing., Ph.D. (DITS)
Češka Milan, prof. RNDr., CSc.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

Keywords

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

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.

Published

2005

Pages

275–280

Proceedings

Computer Aided Systems Theory - EUROCAST 2005

Series

Lecture Notes in Computer Science

Volume

3643

ISBN

978-3-540-29002-5

Publisher

Springer Verlag

Place

Berlin

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",
  volume="3643",
  pages="275--280",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-29002-5"
}