Interactive tool for design, simulation, verification, and synthesis of protocols

被引：0
|
作者：
Chao, Daniel Y. [1 ]
Wang, David T. [1 ]
机构：
[1] New Jersey Inst of Technology, Newark, United States
来源：
Software - Practice and Experience | 1994年 / 24卷 / 08期
关键词：
74;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
页码：747 / 783
相关论文
共 50 条
  • [1] AN INTERACTIVE TOOL FOR DESIGN, SIMULATION, VERIFICATION, AND SYNTHESIS OF PROTOCOLS
    CHAO, DY
    WANG, DT
    SOFTWARE-PRACTICE & EXPERIENCE, 1994, 24 (08): : 747 - 783
  • [2] FAULT SIMULATION BECOMES DESIGN VERIFICATION TOOL
    GOERING, R
    COMPUTER DESIGN, 1985, 24 (03): : 71 - &
  • [3] Chip-design tool adds interactive simulation
    Granville, F
    EDN, 1997, 42 (21) : 13 - 13
  • [4] A SPECIFICATION AND VERIFICATION TOOL FOR COMMUNICATION PROTOCOLS
    KAUR, H
    GRIER, JB
    CAMPBELL, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 507 : 234 - 241
  • [5] A tool for lazy verification of security protocols
    Chevalier, Y
    Vigneron, L
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 373 - 376
  • [6] An Interactive Verification Tool Meets an IDE
    Hentschel, Martin
    Kaesdorf, Stefan
    Haehnle, Reiner
    Bubel, Richard
    INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 55 - 70
  • [7] Interactive Verification of Distributed Protocols Using Decidable Logic
    Shoham, Sharon
    STATIC ANALYSIS (SAS 2018), 2018, 11002 : 77 - 85
  • [8] DSA TYPE SECURE INTERACTIVE BATCH VERIFICATION PROTOCOLS
    HARN, L
    ELECTRONICS LETTERS, 1995, 31 (04) : 257 - 258
  • [9] SeVe: automatic tool for verification of security protocols
    Anh Tuan Luu
    Sun, Jun
    Liu, Yang
    Dong, Jin Song
    Li, Xiaohong
    Thanh Tho Quan
    FRONTIERS OF COMPUTER SCIENCE, 2012, 6 (01) : 57 - 75
  • [10] SeVe: automatic tool for verification of security protocols
    Anh Tuan Luu
    Jun Sun
    Yang Liu
    Jin Song Dong
    Xiaohong Li
    Thanh Tho Quan
    Frontiers of Computer Science, 2012, 6 : 57 - 75
12345