Publication result detail

Parallel State Space Generation and Exploration on Shared-Memory Architectures

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

Original Title

Parallel State Space Generation and Exploration on Shared-Memory Architectures

English Title

Parallel State Space Generation and Exploration on Shared-Memory Architectures

Type

Paper in proceedings outside WoS and Scopus

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.

English 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.

Key words in English

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

Authors

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

Released

11.02.2005

Publisher

The Universidad de Las Palmas de Gran Canaria

Location

Las Palmas de Gran Canaria

ISBN

84-689-0432-5

Book

EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems

Pages from

161

Pages to

164

Pages count

4

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",
  booktitle="EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems",
  year="2005",
  pages="161--164",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Gran Canaria",
  isbn="84-689-0432-5"
}