Abstract
During the software development process it is important to use powerful techniques for proving the expected behavior of the system and hence avoiding failures in real applications later on. Therefore, an effective means to increase confidence in the development process is to use analysis techniques based on the formal descriptions used in early phases (requirements specification).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Conrad and E. Lehmann. Anforderungsspezifikation des Fahrgeschwindigkeitskonstanters mit Z und Statemate. Technischer Bericht Nr. F3S/K96–03,Daimler Benz AG, Berlin, 1996.
E. A. Emmerson. Temporal and modal logic. Handbook of Theoretical Computer Science MIT Press, 1990.
Formal Systems (Europe) Ltd. Failures Divergence Refinement, FDR2 User Manual, 1997.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231–274, 1987.
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 No. 4, April 1990.
David Harel and Amnon Naamad. The stalemate semantics of statecharts. Technical Report, i-Logis, October 1995.
C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, Number 8, 21: 666–667, 1978.
C.A.R. Hoare. CSP - Communicating Sequential Processes. Prentice Hall International, 1985.
J.B. Scattergood. Tools for CSP and Timed CSP, D.Phil. Oxford University Computing Laboratory, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Wien
About this paper
Cite this paper
Fuhrmann, K., Hiemer, J. (1999). Formal Verification of Statemate-Statecharts. In: Berghammer, R., Lakhnech, Y. (eds) Tool Support for System Specification, Development and Verification. Advances in Computing Science. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6355-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6355-9_7
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83282-0
Online ISBN: 978-3-7091-6355-9
eBook Packages: Springer Book Archive