Detail publikace

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

ČEŠKA Milan, HAŠA Luděk a VOJNAR Tomáš. Partial Order Reduction in Model Checking of Object-Oriented Petri Nets. In: Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003. Las Palmas de Gran Canaria, Canary Islands: Universidad de Las Palmas de Gran Canaria, 2003, s. 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
angličtina
Autoři
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Haša Luděk, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Konference
Ninth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, Spain, ES
ISBN
84-688-0820-2
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Gran Canaria, Canary Islands, ES
BibTeX 
@INPROCEEDINGS{FITPUB7152,
   author = "Milan \v{C}e\v{s}ka and Lud\v{e}k Ha\v{s}a and Tom\'{a}\v{s} Vojnar",
   title = "Partial Order Reduction in Model Checking of Object-Oriented Petri Nets",
   pages = "254--256",
   booktitle = "Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003",
   year = 2003,
   location = "Las Palmas de Gran Canaria, Canary Islands, ES",
   publisher = "University of Las Palmas",
   ISBN = "84-688-0820-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7152"
}
Nahoru