Detail výsledku

Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets

ČEŠKA, M.; HAŠA, L.; VOJNAR, T. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science 2809. Berlin: Springer Verlag, 2003. p. 265-278. ISBN: 3-540-20221-8.
Typ
kapitola, resp. kapitoly v odborné knize
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Haša Luděk, Ing.
Vojnar Tomáš, prof. Ing., Ph.D.
Abstrakt

The main problem being faced in finite-state model checking is thestate space explosion problem. For coping with it, many advancedmethods for reducing state spaces have been proposed. One of the mostsuccessful methods (especially when dealing with software systems) isthe so-called partial-order reduction. In the paper, we examine howthis method can be used in the context of object-oriented Petri nets,which bring in features like dynamic instantiation, late binding,garbage collection, etc.

Klíčová slova

Petri nets, object orientation, model checking, partial-order reduction, state space

Rok
2003
Strany
265–278
Kniha
Computer Aided Systems Theory - EUROCAST 2003
Řada
Lecture Notes in Computer Science 2809
Konference
9th International Conference on Computer Aided Theory and Technology -- EUROCAST'03
ISBN
3-540-20221-8
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inbook{BUT55482,
  author="Milan {Češka} and Luděk {Haša} and Tomáš {Vojnar}",
  title="Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets",
  booktitle="Computer Aided Systems Theory - EUROCAST 2003",
  year="2003",
  publisher="Springer Verlag",
  address="Berlin",
  series="Lecture Notes in Computer Science 2809",
  pages="265--278",
  isbn="3-540-20221-8"
}
Projekty
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Ústav informačních systémů (UIFS)
Ústav inteligentních systémů (UITS)
Nahoru