Detail publikace

Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets

HAŠA Luděk a ČEŠKA Milan. Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: MARQ, 2003, s. 177-182. ISBN 80-85988-86-0.
Název česky
Aplikace alokační temporální logiky při verifikaci OOPN
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Haša Luděk, Ing. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Abstrakt

V članku jsou uvedeny základní přístupy k verifikaci modelů popsaných Objektově orientovanými Petriho sítěmi. Pro specifikaci verifikovaných vlastností jsou použity formule alokační temporální logiky, která umožňuje vyjadřovat dynamiku alokace a dealokace objektů v příslušném objektovém modelu.

Rok
2003
Strany
177-182
Sborník
Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems
Konference
MOSIS 2003 - Modelling and Simulation of Systems, Brno, CZ
ISBN
80-85988-86-0
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7188,
   author = "Lud\v{e}k Ha\v{s}a and Milan \v{C}e\v{s}ka",
   title = "Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets",
   pages = "177--182",
   booktitle = "Proceedings of 37th International Conference MOSIS03 Modelling and Simulation of Systems",
   year = 2003,
   location = "Ostrava, CZ",
   ISBN = "80-85988-86-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7188"
}
Nahoru