Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs

D. Remenska, H.E. Bal, J.A. Templon, K. Verstoep, T. Willemse

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publication34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)
Publication statusPublished - 2014

Cite this

Remenska, D., Bal, H. E., Templon, J. A., Verstoep, K., & Willemse, T. (2014). Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs. In 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)
Remenska, D. ; Bal, H.E. ; Templon, J.A. ; Verstoep, K. ; Willemse, T. / Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs. 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014). 2014.
@inproceedings{ffb8d47a777f4892b4addcca4018cc6c,
title = "Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs",
author = "D. Remenska and H.E. Bal and J.A. Templon and K. Verstoep and T. Willemse",
year = "2014",
language = "English",
booktitle = "34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)",

}

Remenska, D, Bal, HE, Templon, JA, Verstoep, K & Willemse, T 2014, Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs. in 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014).

Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs. / Remenska, D.; Bal, H.E.; Templon, J.A.; Verstoep, K.; Willemse, T.

34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014). 2014.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs

AU - Remenska, D.

AU - Bal, H.E.

AU - Templon, J.A.

AU - Verstoep, K.

AU - Willemse, T.

PY - 2014

Y1 - 2014

M3 - Conference contribution

BT - 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)

ER -

Remenska D, Bal HE, Templon JA, Verstoep K, Willemse T. Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs. In 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014). 2014