Conference paper

HAŠA Luděk and Č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, 2003, pp. 177-182. ISBN 80-85988-86-0.
Publication language:english
Original title:Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets
Title (cs):Aplikace alokační temporální logiky při verifikaci OOPN
Pages:177-182
Proceedings:Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems
Conference:MOSIS 2003 - Modelling and Simulation of Systems
Place:Ostrava, CZ
Year:2003
ISBN:80-85988-86-0
Keywords
allocational temporal logic, model checking, OOPN, linear temporal logic
Annotation
The basic principles and approaches of model checking for Object-Oriented Petri Nets (OOPNs) are introduced and described in this paper. Specifications of checked properties in model checking are expressed in temporal logics. Allocational temporal logic (ATL) can be used as a formalism to express properties concerning the dynamic allocation and deallocation of entities, such as the objects in an object-based system.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7188}
}

Your IPv4 address: 54.82.56.95
Switch to IPv6 connection

DNSSEC [dnssec]