Detail výsledku

Parallel State Space Generation and Exploration on Shared-Memory Architectures

ČEŠKA, M.; KŘENA, B.; VOJNAR, T. Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2005. p. 161-164. ISBN: 84-689-0432-5.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
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.

Rok
2005
Strany
161–164
Sborník
EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems
Konference
Tenth International Conference on Computer Aided Systems Theory
ISBN
84-689-0432-5
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Gran Canaria
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"
}
Projekty
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru