Proving consistency of VDM models using HOL

SD Vermolen; J Hooman; PG Larsen

doi:http://doi.acm.org/10.1145/1774088.1774608

Proving consistency of VDM models using HOL

SD Vermolen, J Hooman, PG Larsen

Software Engineering

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 2010 ACM Symposium on Applied Computing (SAC)
Editors	SY Shin, S Ossowski, M Schumacher, MJ Palakal, CC Hung
Place of Publication	New York
Publisher	ACM
Pages	2503-2510
Number of pages	8
ISBN (Print)	978-1-60558-639-7
DOIs	https://doi.org/http://doi.acm.org/10.1145/1774088.1774608
Publication status	Published - 2010
Event	2010 ACM Symposium on Applied Computing (SAC) - New York Duration: 22 Mar 2010 → 26 Mar 2010

Publication series

Name
Publisher	ACM

Conference

Conference	2010 ACM Symposium on Applied Computing (SAC)
Period	22/03/10 → 26/03/10

Keywords

Conf.proc. > 3 pag

Access to Document

http://doi.acm.org/10.1145/1774088.1774608

Cite this

@inproceedings{d4c41dcc4db54d7daffb0e59f299cc02,

title = "Proving consistency of VDM models using HOL",

keywords = "Conf.proc. > 3 pag",

author = "SD Vermolen and J Hooman and PG Larsen",

year = "2010",

doi = "http://doi.acm.org/10.1145/1774088.1774608",

language = "English",

isbn = "978-1-60558-639-7",

publisher = "ACM",

pages = "2503--2510",

editor = "SY Shin and S Ossowski and M Schumacher and MJ Palakal and CC Hung",

booktitle = "Proceedings of the 2010 ACM Symposium on Applied Computing (SAC)",

address = "United States",

note = "2010 ACM Symposium on Applied Computing (SAC) ; Conference date: 22-03-2010 Through 26-03-2010",

}

Proving consistency of VDM models using HOL. / Vermolen, SD; Hooman, J; Larsen, PG.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC). ed. / SY Shin; S Ossowski; M Schumacher; MJ Palakal; CC Hung. New York: ACM, 2010. p. 2503-2510.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Proving consistency of VDM models using HOL

AU - Vermolen, SD

AU - Hooman, J

AU - Larsen, PG

PY - 2010

Y1 - 2010

KW - Conf.proc. > 3 pag

U2 - http://doi.acm.org/10.1145/1774088.1774608

DO - http://doi.acm.org/10.1145/1774088.1774608

M3 - Conference contribution

SN - 978-1-60558-639-7

SP - 2503

EP - 2510

BT - Proceedings of the 2010 ACM Symposium on Applied Computing (SAC)

A2 - Shin, SY

A2 - Ossowski, S

A2 - Schumacher, M

A2 - Palakal, MJ

A2 - Hung, CC

PB - ACM

CY - New York

T2 - 2010 ACM Symposium on Applied Computing (SAC)

Y2 - 22 March 2010 through 26 March 2010

ER -