Distributed Cooperative Formal Methods Tools

  title={Distributed Cooperative Formal Methods Tools},
  author={Joseph A. Goguen and Kai Lin and A. Mori and Grigore Rosu and Akira Sato},
This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiotics with algebraic specification. Some examples are given. 
Highly Cited
This paper has 25 citations. REVIEW CITATIONS
19 Citations
11 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 11 references

Semiotic morphisms

  • J. Goguen
  • UCSD, Dept. Computer Science & Eng.,
  • 1997
Highly Influential
5 Excerpts

Diagrams and Term Rewriting with Applications to Computational Algebra

  • D. Shand.Proof
  • PhD thesis,
  • 1997
1 Excerpt

The transformation of experience in narrative syntax

  • Y. Bartot
  • 1997

The Ethnomethodology of Mathematics

  • E. Livingston
  • Routledge & Kegan Paul,
  • 1987
1 Excerpt

Screenplay: The Foundations of Screenwriting

  • S. Field
  • Dell,
  • 1982
1 Excerpt

Similar Papers

Loading similar papers…