Interfacing ASM with the MDG Tool-Reference-Cited by-同舟云学术

Interfacing ASM with the MDG Tool

Published:2003 Issue: Volume: Page:278-292
ISSN:0302-9743
Container-title:Abstract State Machines 2003
language:
Short-container-title:

Author:

Gawanmeh Amjad,Tahar Sofiène,Winter Kirsten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36498-6_16

Reference21 articles.

1. S. Balakrishnan A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs. Master’s Thesis, Concordia University, Department of Electrical and Computer Engineering, November 1999. 283

2. Lect Notes Comput Sci;D. Beauquier,1997

3. Lect Notes Comput Sci;E. Cerny,1997

4. F. Corella, Z. Zhou, X. Song, M. Langevin and E. Cerny. Multiway Decision Graphs for Automated Hardware Verification. Formal Methods in System Design, Vol. 10, February 1997, pp. 7–46. 280, 282

5. G. Del Castillo. The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Ph.D. Thesis, Heinz Nixdorf Institute, Paderborn, Germany, 2000. 279, 280

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

1. The Abstract State Machines Method for High-Level System Design and Analysis;Formal Methods: State of the Art and New Directions;2009-11-14

2. Concurrent Abstract State Machines and + CAL Programs;Recent Trends in Algebraic Development Techniques;2009

3. Linking the Meaning of Programs to What the Compiler Can Verify;Verified Software: Theories, Tools, Experiments;2008

4. Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems;Formal Aspects of Computing;2007-06

5. The ASM Method for System Design and Analysis. A Tutorial Introduction;Frontiers of Combining Systems;2005