Result Details
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.
Type
conference paper
Language
English
Authors
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
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.
Published
2005
Pages
161–164
Proceedings
EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems
Conference
Tenth International Conference on Computer Aided Systems Theory
ISBN
84-689-0432-5
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
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"
}
Projects
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Research groups
Petri Nets Research Group (RG PETRINET)
System Modelling and Optimization Research Group (RG MODSIM)
System Modelling and Optimization Research Group (RG MODSIM)
Departments