Result 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.
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Češka Milan, prof. RNDr., CSc., 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
275–280
Proceedings
Computer Aided Systems Theory - EUROCAST 2005
Series
Lecture Notes in Computer Science
Volume
3643
Conference
Tenth International Conference on Computer Aided Systems Theory
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"
}
Projects
Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems, GACR, Postdoktorandské granty, GP102/03/D211, start: 2003-09-01, end: 2006-09-01, completed
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
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Petri Nets Research Group (RG PETRINET)
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Department of Intelligent Systems (DITS)
Back to top