Distributed cooperative formal methods tools

被引：4
|
作者：
Goguen, J
Lin, K
Mori, A
Rosu, G
Sato, A
机构：
来源：
AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ASE.1997.632824
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：55 / 62
页数：4
相关论文
共 50 条
  • [1] Tutorial on formal methods for distributed and cooperative systems
    Choppy, Christine
    Haddad, Serge
    Klaudel, Hanna
    Kordon, Fabrice
    Petrucci, Laure
    Thierry-Mieg, Yarm
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 362 - 365
  • [2] Major threat: From formal methods without tools to tools without formal methods
    Steffen, B
    NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 15 - 15
  • [3] Distributed teaching of formal methods
    Pepper, P
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 140 - 152
  • [4] Methods and tools for formal software engineering
    Liu, Zhiming
    Venkatesh, R.
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 31 - +
  • [5] Formal tools and methods of Artificial Intelligence
    Bouraoui, Zied
    Wilczynski, Anaelle
    AI COMMUNICATIONS, 2024, 37 (03) : 263 - 264
  • [6] Formal methods and tools for industrial critical systems
    Lafuente, Alberto Lluch
    Mavridou, Anastasia
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (06) : 973 - 976
  • [7] Tools and education towards formal methods practice
    Meyer, JJC
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2003, 2699 : 274 - 279
  • [8] On Applicability of Formal Methods and Tools to Dependable Services
    Ishikawa, Fuyuki
    Honiden, Shinichi
    IEICE TRANSACTIONS ON COMMUNICATIONS, 2009, E92B (01) : 9 - 16
  • [9] Formal methods: Tools for VHDL introduced to Europe
    Mann, D
    ELECTRONIC ENGINEERING, 1997, 69 (845): : 21 - 21
  • [10] Formal Methods and Tools Applied in the Railway Domain
    ter Beek, Maurice H.
    RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 3 - 21
12345