Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience

John S. Fitzgerald; Peter Gorm Larsen

doi:10.1109/ISoLA.2006.33

Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

4 Citations (Scopus)

Original language	English
Title of host publication	Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : ISoLA 2006
Number of pages	4
Publisher	IEEE
Publication date	2006
ISBN (Print)	978-0-7695-3071-0
DOIs	https://doi.org/10.1109/ISoLA.2006.33
Publication status	Published - 2006
Externally published	Yes
Event	Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Paphos, Cyprus Duration: 15 Nov 2006 → 19 Nov 2006

Conference

Conference	Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Country/Territory	Cyprus
City	Paphos
Period	15/11/2006 → 19/11/2006

Access to Document

10.1109/ISoLA.2006.33

Library access?

Check availability with the Royal Danish Library

Cite this

@inproceedings{300d3f218a98483ca60035cb2fccd6b6,

title = "Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience",

author = "Fitzgerald, \{John S.\} and Larsen, \{Peter Gorm\}",

year = "2006",

doi = "10.1109/ISoLA.2006.33",

language = "English",

isbn = "978-0-7695-3071-0",

booktitle = "Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation",

publisher = "IEEE",

note = "Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ; Conference date: 15-11-2006 Through 19-11-2006",

}

Fitzgerald, JS & Larsen, PG 2006, Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience. in Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006. IEEE, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation , Paphos, Cyprus, 15/11/2006. https://doi.org/10.1109/ISoLA.2006.33

Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience. / Fitzgerald, John S.; Larsen, Peter Gorm.
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006. IEEE, 2006.

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience

AU - Fitzgerald, John S.

AU - Larsen, Peter Gorm

PY - 2006

Y1 - 2006

U2 - 10.1109/ISoLA.2006.33

DO - 10.1109/ISoLA.2006.33

M3 - Article in proceedings

SN - 978-0-7695-3071-0

BT - Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

PB - IEEE

T2 - Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 15 November 2006 through 19 November 2006

ER -