Egalitarian state-transition systems (extended version)

Downloads

Downloads per month over past year

36145

Impacto

Downloads

Downloads per month over past year



Martín Sánchez, Óscar and Verdejo López, Alberto and Martí Oliet, Narciso (2016) Egalitarian state-transition systems (extended version). [ ] (Unpublished)

Warning
There is a more recent version of this item available.

[thumbnail of egalitarian-long.pdf]
Preview
PDF
497kB


Abstract

We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more powerful, general, and meaningful. We define egalitarian structures and logics, and show how they generalize well-known state-based, event-based, and mixed ones. We present translations from egalitarian to non-egalitarian settings that, in particular, allow the model checking of LTLR formulas using Maude’s LTL model checker. We have implemented these translations as a prototype in Maude itself.


Item Type:Working Paper or Technical Report
Additional Information:

Tehcnical report 01/16
Departamento de Sistemas Informáticos y Computación
Facultad de Informática

Uncontrolled Keywords:state/transition structures TLR* model checking temporal logic Kripke structures LTS
Subjects:Sciences > Computer science
Sciences > Computer science > Software
Series Name:
Volume:
Number:
ID Code:36145
Deposited On:10 Mar 2016 10:12
Last Modified:29 Aug 2016 11:07

Available Versions of this Item

Origin of downloads

Repository Staff Only: item control page