Detail publikace

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. Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003. Las Palmas de Gran Canaria, Canary Islands: University of Las Palmas, 2003. p. 254-256. ISBN: 84-688-0820-2.
Název česky
Metoda Partial Order Reduction ve formální verifikaci Objektově orientovaných Petriho sítí.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Haša Luděk, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

object-oriented Petri nets, formal analysis and verification, state space, model checking, partial order reduction

Abstrakt

V članku je diskutována "on-the-fly" metoda verifikace OOPN, tj. metoda, ktera provádí kontrolu verifikované vlastnosti souběžně s generováním stavového prostoru příslušné Petriho sítě. K redukci stavového prostoru byla vybrana klasická metoda "Partial Order Reduction ". Jsou zkoumány důsledky typických rysů OOPN jako dynamická instanciace, pozdní navazování či existence garbage colectoru na aplikaci této metody.

Rok
2003
Strany
254–256
Sborník
Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003
ISBN
84-688-0820-2
Vydavatel
University of Las Palmas
Místo
Las Palmas de Gran Canaria, Canary Islands
BibTeX 
@inproceedings{BUT13953,
  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="Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003",
  year="2003",
  pages="254--256",
  publisher="University of Las Palmas",
  address="Las Palmas de Gran Canaria, Canary Islands",
  isbn="84-688-0820-2"
}
Nahoru