Interfacing program construction and verification-Reference-Cited by-同舟云学术

Interfacing program construction and verification

Published:1999 Issue: Volume: Page:1128-1146
ISSN:0302-9743
Container-title:FM’99 — Formal Methods
language:
Short-container-title:

Author:

Verhoeven Richard,Backhouse Roland

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48118-4_10

Reference22 articles.

1. P. Anderson, M. Goldsmith, B. Scattergood, and T. Teitelbaum. An environment for intergrating formal methods tools. In Bertot [7]. See also: http://www.grammatech.com/papers/uitp.html .

2. Myla Archer, Constance Heitmeyer, and Steve Sims. TAME: A PVS interface to simplify proofs for automata models. In Backhouse [4], pages 147–156. See also: http://www.win.tue.nl/cs/ipa/uitp/papers/Archer.ps.gz .

3. R.C. Backhouse. Archive of the mathematics of program construction group. Available online at http://www.win.tue.nl/cs/wp/papers/ , July 1998.

4. R.C. Backhouse, editor. Workshop on User Interfaces for Theorem Provers, Computing Science Reports, July 1998. International Workshop, see also http://www.win.tue.nl/cs/ipa/uitp/proceedings.html .

5. R.C. Backhouse, R. Verhoeven, and O. Weber. Math≀pad: A system for on-line preparation of mathematical documents. Software-Concepts and Tools, 18: 80–89, 1997. See also: http://www.win.tue.nl/cs/wp/mathspad/ .

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

1. Towards Verified Handwritten Calculational Proofs;Interactive Theorem Proving;2018

2. Structure Editing of Handwritten Mathematics;Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces - ITS '14;2014

3. Which Mathematics for the Information Society?;Teaching Formal Methods;2009

4. Calculational Relation-Algebraic Proofs in Isabelle/Isar;Relational and Kleene-Algebraic Methods in Computer Science;2004

5. Algebra of Programming Using Dependent Types;Lecture Notes in Computer Science