Detail publikace

First Approach to Model Checking in Object-Oriented Petri Nets

KŘENA Bohuslav. First Approach to Model Checking in Object-Oriented Petri Nets. In: Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems. Ostrava: MARQ, 2001, s. 105-110. ISBN 80-85988-61-5.
Název česky
První krok k model checkingu objektově orientovaných Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing. (UIVT FEI VUT)
URL
Abstrakt

Model checking je technika automatické analýzy systémů, která zahrnuje tři fáze: vytvoření modelu systému, specifikace vlasnosti, kterou chceme ověřit, a automatická verifikace. Naše výzkumná skupina se zabývá modelováním pomocí objektově orientovaných Petriho sítí a proto se v tomto článku zabýváme možnosti verifikace systémů popsaných právě objěktově orientovanými Petriho sítěmi.

Rok
2001
Strany
105-110
Sborník
Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems
Konference
23rd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems, Velke Losiny, CZ
ISBN
80-85988-61-5
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6734,
   author = "Bohuslav K\v{r}ena",
   title = "First Approach to Model Checking in Object-Oriented Petri Nets",
   pages = "105--110",
   booktitle = "Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems",
   year = 2001,
   location = "Ostrava, CZ",
   ISBN = "80-85988-61-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6734"
}
Nahoru