Detail publikace

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

HAŠA, L.; ČEŠKA, M. Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets. Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: 2003. p. 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
anglicky
Autoři
Haša Luděk, Ing.
Češka Milan, prof. RNDr., CSc.
Klíčová slova

allocational temporal logic, model checking, OOPN, linear temporal logic

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
ISBN
80-85988-86-0
Místo
Ostrava
BibTeX 
@inproceedings{BUT13982,
  author="Luděk {Haša} and Milan {Češka}",
  title="Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets",
  booktitle="Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems",
  year="2003",
  pages="177--182",
  address="Ostrava",
  isbn="80-85988-86-0"
}
Nahoru