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

Computer Science

Research output: Contribution to journal › Article › Scientific › peer-review

2 Citations (Scopus)

Original language	Undefined/Unknown
Pages (from-to)	19–36
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	84
Issue number	1
DOIs	https://doi.org/10.1016/j.jlap.2013.09.001
Publication status	Published - 2015
MoE publication type	A1 Journal article-refereed

Access to Document

10.1016/j.jlap.2013.09.001

Cite this

@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

VL - 84

SP - 19

EP - 36

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

SN - 2352-2208

IS - 1

ER -