Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models-Reference-Cited by-同舟云学术

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models

Published:2014 Issue: Volume: Page:99-116
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Hilken Frank,Niemann Philipp,Gogolla Martin,Wille Robert

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-09099-3_8

Reference27 articles.

1. Lecture Notes in Computer Science;W. Ahrendt,2007

2. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On Challenges of Model Transformation from UML to Alloy. Software and System Modeling 9(1), 69–86 (2010)

3. Barrett, C., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2010), www.SMT-LIB.org

4. Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL: Towards CTL-Extended OCL Model Checking. In: Proceedings of the MODELS 2013 OCL Workshop. vol. 1092, pp. 13–22 (2013)

5. Brucker, A.D., Wolff, B.: Semantics, calculi, and analysis for object-oriented specifications. Acta Inf. 46(4), 255–284 (2009)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proving Properties of Operation Contracts with Test Scenarios;Tests and Proofs;2023

2. 2-Term Charters.;The Journal of Object Technology;2020

3. Verifying OCL Operational Contracts via SMT-based Synthesising;Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development;2020

4. Integer Overflow Detection in Hardware Designs at the Specification Level;Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development;2020

5. Methods of Statistical Analysis and Machine Learning for the Evaluation of Generated Hardware and Firmware Designs;Advances in Integrations of Intelligent Methods;2020