Distributed cooperative formal methods tools

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

Research output: Contribution to conferencePaperpeer-review

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.

Original languageEnglish (US)
Pages55-62
Number of pages8
StatePublished - Dec 1 1997
Externally publishedYes
EventProceedings of the 1997 12th IEEE International Automated Software Engineering Conference, ASE - Incline Village, NV, USA
Duration: Nov 3 1997Nov 5 1997

Other

OtherProceedings of the 1997 12th IEEE International Automated Software Engineering Conference, ASE
CityIncline Village, NV, USA
Period11/3/9711/5/97

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint

Dive into the research topics of 'Distributed cooperative formal methods tools'. Together they form a unique fingerprint.

Cite this