CLTSA: labelled transition system analyser with counting fluent support
Abstract
In this paper we present CLTSA (Counting Fluents Labelled Transition System Analyser), an extension of LTSA (Labelled Transition System Analyser) that incorporates counting fluents, a useful mechanism to capture properties related to counting events. Counting fluent temporal logic is a formalism for specifying properties of event-based systems, which complements the notion of fluent by the related concept of counting fluent. While fluents allow us to capture boolean properties of the behaviour of a reactive system, counting fluents are numerical values, that enumerate event occurrences.
BibTeX
@inproceedings{Regis-al:FSE17,
author = {Germ{\'{a}}n Regis and
Renzo Degiovanni and
Nicol{\'{a}}s D'Ippolito and
Nazareno Aguirre},
title = {{CLTSA:} labelled transition system analyser with counting fluent support},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {979--983},
publisher = {{ACM}},
year = {2017},
}