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 条
  • [31] Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
    Cavalli, Ana Rosa
    de Oca, Edgardo Montes
    Mallouli, Wissarn
    Lallali, Mounir
    DS-RT 2008: 12TH 2008 IEEE/ACM INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS, PROCEEDINGS, 2008, : 315 - +
  • [32] Component tools: Integrating Petri nets with other formal methods
    Kindler, Ekkart
    Rubin, Vladimir
    Wagner, Robert
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 37 - 56
  • [33] A suite of tools for facilitating reverse engineering using formal methods
    Gannod, GC
    Cheng, BHC
    9TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2001, : 221 - 232
  • [34] Formal methods as software engineering tools - An exile in FM wonderland
    Nakajima, Shin
    NII Technical Reports, 2007, 2007 (07):
  • [35] Integrating formal methods tools into undergraduate computer science curriculum
    Skevoulis, Sotiris
    Makarov, Vladimir
    36TH ANNUAL FRONTIERS IN EDUCATION, CONFERENCE PROGRAM, VOLS 1-4: BORDERS: INTERNATIONAL, SOCIAL AND CULTURAL, 2006, : 1451 - +
  • [36] Formal methods, language, and tools for the synthesis of cellular automata and architectures
    Markova, VP
    Piskunov, SV
    Pogudin, YM
    PROGRAMMING AND COMPUTER SOFTWARE, 1996, 22 (04) : 177 - 186
  • [37] Combining Semi-Formal and Formal Methods for the Developement of Distributed Reconfigurable Control Systems
    Oueslati, Raja
    Mosbahi, Olfa
    Khalgui, Mohamed
    Li, Zhiwu
    Qu, Ting
    IEEE ACCESS, 2018, 6 : 70426 - 70443
  • [38] Preventing Faults in Machine Tools for Critical Cooperative and Distributed Industrial Productions
    Dmitriev O.N.
    Novikov S.V.
    Russian Engineering Research, 2019, 39 (1) : 55 - 59
  • [39] DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - ACQUISITION ENVIRONMENT
    MULLERY, GP
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 45 - 130
  • [40] Hardware simulation in distributed computing systems: Methods and tools
    Grebnev, VA
    Kapitonova, YV
    Letichevskii, AA
    CYBERNETICS AND SYSTEMS ANALYSIS, 1995, 31 (03) : 350 - 364
12345