Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ-Reference-Cited by-同舟云学术

Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ

Published:2005 Issue: Volume: Page:104-123
ISSN:0302-9743
Container-title:ZB 2005: Formal Specification and Development in Z and B
language:
Short-container-title:

Author:

Toyn Ian,Galloway Andy

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11415787_7.pdf

Reference15 articles.

1. Toyn, I., McDermid, J.: CADiZ: An architecture for Z tools and its implementation. Software — Practice and Experience 25, 305–330 (1995)

2. Toyn, I.: CADiZ on-line documentation (2005), http://www-users.cs.york.ac.uk/~ian/cadiz/

3. ISO/IEC: Information Technology—Z Formal Specification Notation—Syntax, Type System and Semantics , International Standard 13568:2002 (2002), http://www.iso.org/iso/en/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002E.zip

4. The MathWorks: Matlab and Simulink for technical computing (2005), http://www.mathworks.com/

5. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)

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

1. Refinement-based verification of implementations of Stateflow charts;Formal Aspects of Computing;2014-03

2. Formal modeling and validation of Stateflow diagrams;International Journal on Software Tools for Technology Transfer;2012-06-06

3. The Design and Implementation of Z Language Editor;Algorithms and Architectures for Parallel Processing;2009

4. Three Perspectives in Formal Engineering;Formal Methods and Software Engineering;2006