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)
This is the latest version of this item.
Preview |
PDF
520kB |
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 |
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: | 38933 |
Deposited On: | 29 Aug 2016 11:07 |
Last Modified: | 14 Sep 2016 08:38 |
Available Versions of this Item
-
Egalitarian state-transition systems (extended version). (deposited 10 Mar 2016 10:12)
- Egalitarian state-transition systems (extended version). (deposited 29 Aug 2016 11:07) [Currently Displayed]
Origin of downloads
Repository Staff Only: item control page