Author:
Damm Werner,Westphal Bernd
Publisher
Springer Berlin Heidelberg
Reference44 articles.
1. Clarke, E.M., Enders, R., Filkorn, T., Jha, S.: Exploiting Symmetry in Temporal Logic Model Checking. Formal Methods in System Design 9(1/2), 77–104 (1996)
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
3. Lecture Notes in Computer Science;J. Corbett,2000
4. Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: Viatra - visual automated transformations for formal verification of uml models. In: Proceedings International Conference on Automated Software Engineering, ASE 2002 (2002)
5. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 121–141 (2001)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Logic-Based Approach for the Verification of UML Timed Models;ACM Transactions on Software Engineering and Methodology;2017-10-05
2. Semantically Configurable Analysis of Scenario-Based Specifications;Fundamental Approaches to Software Engineering;2014
3. Preface of “Specification and Validation of Real Time and Embedded systems in UML”;International Journal on Software Tools for Technology Transfer;2006-01-27
4. Deductive Verification of UML Models in TLPVS;< > 2004 - The Unified Modeling Language. Modelling Languages and Applications;2004
5. Formal Verification of LSCs in the Development Process;Integration of Software Specification Techniques for Applications in Engineering;2004