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
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