Interactive Verification of Architectural Design Patterns in FACTum

My article on interactive verification of architectural design patterns in FACTum got accepted for Formal Aspects of Computing. It descibes the fundamentals of FACTum and a semantic preserving algorithm to map a FACTum specification to a locale for the interactive theorem prover Isabelle.

2 Kommentare zu „Interactive Verification of Architectural Design Patterns in FACTum“

dmarmsoler sagt:

18. September 2019 um 10:29

Here is a full-text view-only version of the article as part of Springer Nature SharedIt initiative: https://rdcu.be/bMxoa

LikeLike

Antworten
dmarmsoler sagt:

18. September 2019 um 10:30

The online-first version is available here:
http://link.springer.com/article/10.1007/s00165-019-00488-x

LikeLike

Antworten

Kommentar verfassen Antwort abbrechen

Gib hier deinen Kommentar ein ...

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

E-Mail (erforderlich) (Adresse wird niemals veröffentlicht)

Name (erforderlich)

Website

Du kommentierst mit deinem WordPress.com-Konto. ( Abmelden / Ändern )

Du kommentierst mit deinem Facebook-Konto. ( Abmelden / Ändern )

Abbrechen

Verbinde mit %s

I am a member of the steering committee of the FMBC workshop series.

In addition I am currently serving in the program comittee of the following venues:

I was also involved in the following events in the past:

I was reviewer for the following Journals:

I was also subreviewer for the following conferences:

Models
FormaliSE
MEMOCODE

%d Bloggern gefällt das:

Teilen mit:

Gefällt mir:

Ähnliche Beiträge

2 Kommentare zu „Interactive Verification of Architectural Design Patterns in FACTum“

Kommentar verfassen Antwort abbrechen