loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: Frank Nießner

Affiliation: University of Fribourg, Switzerland

ISBN: 978-972-8865-49-8

Abstract: Even up-to-date automated verification techniques are affected by the fundamental complexity of verification algorithms which is caused by necessity to decide subset conditions on certain languages. These languages are recognizable by nondeterministic Büchi automata and represent a system behavior and the desired properties of the system. The involved complementation process may lead to an exponential blow-up in the size of the automata. In this paper we specify the structure of a rich subclass of languages that can be characterized by deterministic Büchi automata and hence be complemented rather easily. Furthermore, we present examples of practically relevant properties belonging to this language class.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.170.81.210

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Nießner F. and (2006). Specification of Deterministic Regular Liveness Properties.In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 173-178. DOI: 10.5220/0002482601730178

@conference{msvveis06,
author={Frank Nießner},
title={Specification of Deterministic Regular Liveness Properties},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={173-178},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002482601730178},
isbn={978-972-8865-49-8},
}

TY - CONF

JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - Specification of Deterministic Regular Liveness Properties
SN - 978-972-8865-49-8
AU - Nießner, F.
PY - 2006
SP - 173
EP - 178
DO - 10.5220/0002482601730178

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.