A Systematic Verification Approach for Mondex Electronic Purses Using ASMs-Reference-Cited by-同舟云学术

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs

Published:2009 Issue: Volume: Page:93-110
ISSN:0302-9743
Container-title:Rigorous Methods for Software Construction and Analysis
language:
Short-container-title:

Author:

Schellhorn Gerhard,Grandy Holger,Haneberg Dominik,Moebius Nina,Reif Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-11447-2_7.pdf

Reference27 articles.

1. Banach, R., Jeske, C., Poppleton, M., Stepney, S.: Retrenching the purse: The balance enquiry quandary, and generalised and (1,1) forward refinements. Fundamenta Informaticae 77 (2006)

2. Lecture Notes in Computer Science;E. Börger,1997

3. Börger, E.: The ASM Refinement Method. Formal Aspects of Computing 15(1–2), 237–257 (2003)

4. Studies in Computer Science and Artificial Intelligence;E. Börger,1995

5. Börger, E., Stärk, R.F.: Abstract State Machines—A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

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

1. Stepwise abstraction of high-level system specifications from source code;Journal of Computer Languages;2020-10

2. Why Programming Must Be Supported by Modeling and How;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018

3. The abstract state machines method for modular design and analysis of programming languages;Journal of Logic and Computation;2014-12-18

4. KIV: overview and VerifyThis competition;International Journal on Software Tools for Technology Transfer;2014-04-16

5. Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code;Lecture Notes in Computer Science