kirancodes.me
To Proof Maintenance & Beyond!
ASE 1997

Distributed Cooperative Formal Methods Tools

Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato

DOI 10.1109/ase.1997.632824dblp

Abstract

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.

BibTeX
@inproceedings{Goguen-al:ASE97,
  author    = {Joseph A. Goguen and
               Kai Lin and
               Akira Mori and
               Grigore Rosu and
               Akiyoshi Sato},
  title     = {Distributed Cooperative Formal Methods Tools},
  booktitle = {ASE},
  pages     = {55--62},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
}

Related papers