We present a sound and complete axiomatisation of ACTL, an action-based version of the well-known branching-time temporal logic CTL, and place it into a historical context. ACTL was originally introduced by Rocco De Nicola together with Frits Vaandrager 30 years ago, and it has played a major role in shaping the activity of our Formal Methods and Tools Lab from the nineties to this very day.
From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL
Gnesi S;ter Beek M H
2019
Abstract
We present a sound and complete axiomatisation of ACTL, an action-based version of the well-known branching-time temporal logic CTL, and place it into a historical context. ACTL was originally introduced by Rocco De Nicola together with Frits Vaandrager 30 years ago, and it has played a major role in shaping the activity of our Formal Methods and Tools Lab from the nineties to this very day.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_404760-doc_141213.pdf
non disponibili
Descrizione: From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.35 MB
Formato
Adobe PDF
|
2.35 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
prod_404760-doc_141214.pdf
accesso aperto
Descrizione: From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL
Tipologia:
Versione Editoriale (PDF)
Dimensione
4.71 MB
Formato
Adobe PDF
|
4.71 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.