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 language | English (US) |
|---|---|
| Pages | 55-62 |
| Number of pages | 8 |
| State | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1997 12th IEEE International Automated Software Engineering Conference, ASE - Incline Village, NV, USA Duration: Nov 3 1997 → Nov 5 1997 |
Other
| Other | Proceedings of the 1997 12th IEEE International Automated Software Engineering Conference, ASE |
|---|---|
| City | Incline Village, NV, USA |
| Period | 11/3/97 → 11/5/97 |
ASJC Scopus subject areas
- Computer Science(all)
- Engineering(all)