Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Češka Milan, prof. RNDr., CSc., 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
275–280
Sborník
Computer Aided Systems Theory - EUROCAST 2005
Řada
Lecture Notes in Computer Science
Svazek
3643
Konference
Tenth International Conference on Computer Aided Systems Theory
ISBN
978-3-540-29002-5
Vydavatel
Springer Verlag
Místo
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"
}
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
Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, Postdoktorandské granty, GP102/03/D211, zahájení: 2003-09-01, ukončení: 2006-09-01, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
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