Author:
Boulton Richard J.,Hardy Ruth,Martin Ursula
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. R. Arthan, P. Caseley, C. O’Halloran, and A. Smith. ClawZ: Control laws in Z. In Proc. 3rd IEEE International Conference on Formal Engineering Methods (ICFEM 2000), York, September 2000.
2. M. J. C. Gordon. Mechanizing programming logics in higher order logic. In G. Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Veri fication and Automated Theorem Proving, pages 387–439. Springer-Verlag, 1989.
3. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576–580, 583, October 1969.
4. The MathWorks. Simulink. http://www.mathworks.com/products/simulink/
5. B. Mahony. The DOVE approach to the design of complex dynamic processes. In Proc. of the First International Workshop on Formalising Continuous Mathematics NASA conference publication NASA/CP-2002-211736 pages 167–187 August 2002
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Analysis of Linear Control Systems Using Theorem Proving;Formal Methods and Software Engineering;2017
2. Bibliography;Foundations of Quantum Programming;2016
3. Prospects;Foundations of Quantum Programming;2016
4. Formal Verification of Steady-State Errors in Unity-Feedback Control Systems;Formal Methods for Industrial Critical Systems;2014
5. A Hoare logic for linear systems;Formal Aspects of Computing;2013-05