Verification and code generation for invariant diagrams in Isabelle

Viorel Preoteasa; Ralph-Johan Back; Johannes Eriksson

doi:10.1016/j.jlap.2013.09.001

Verification and code generation for invariant diagrams in Isabelle

Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Sivut	19–36
Julkaisu	Journal of Logical and Algebraic Methods in Programming
Vuosikerta	84
Numero	1
DOI - pysyväislinkit	https://doi.org/10.1016/j.jlap.2013.09.001
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

10.1016/j.jlap.2013.09.001

Viittausmuodot

@article{9475995c76ab457582ba05fc3006528a,

title = "Verification and code generation for invariant diagrams in Isabelle",

author = "Viorel Preoteasa and Ralph-Johan Back and Johannes Eriksson",

note = "Special Issue: The 23rd Nordic Workshop on Programming Theory (NWPT 2011) Special Issue: Domains X, International workshop on Domain Theory and applications, Swansea, 5-7 September, 2011",

year = "2015",

doi = "10.1016/j.jlap.2013.09.001",

language = "Odefinierat/ok{\"a}nt",

volume = "84",

pages = "19–36",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Verification and code generation for invariant diagrams in Isabelle

AU - Preoteasa, Viorel

AU - Back, Ralph-Johan

AU - Eriksson, Johannes

N1 - Special Issue: The 23rd Nordic Workshop on Programming Theory (NWPT 2011) Special Issue: Domains X, International workshop on Domain Theory and applications, Swansea, 5-7 September, 2011

PY - 2015

Y1 - 2015

U2 - 10.1016/j.jlap.2013.09.001

DO - 10.1016/j.jlap.2013.09.001

M3 - Artikel

SN - 2352-2208

VL - 84

SP - 19

EP - 36

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

IS - 1

ER -