Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{489822,
author = {Pelánek, Radek},
address = {Wien},
booktitle = {Proceedings of the Eight ESSLLI Student Session},
keywords = {LTL; model checking},
language = {eng},
location = {Wien},
pages = {245-254},
publisher = {TU Wien},
title = {LTL Hierarchies and Model Checking},
year = {2003}
}
TY - JOUR
ID - 489822
AU - Pelánek, Radek
PY - 2003
TI - LTL Hierarchies and Model Checking
PB - TU Wien
CY - Wien
KW - LTL
KW - model checking
N2 - We propose a new hierarchy of LTL formulas based on alternations of Until and Release operators and show that it is more relevant to model checking then previously studied hierarchies. Moreover, we study practically used formulas and conclude that in most cases it is possible to use specialized algorithms which are more efficient then general algorithm for LTL model checking.
ER -
PELÁNEK, Radek. LTL Hierarchies and Model Checking. In \textit{Proceedings of the Eight ESSLLI Student Session}. Wien: TU Wien. s.~245-254, 9 s. 2003.
|
