Formal Specification, Verification and Synthesis of Finite State Machines

被引：0
|
作者：
Büttner, Wolfram [1 ]
机构：
[1] Siemens Ag, München, Germany
来源：
IT - Information Technology | 1997年 / 39卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：15 / 21
相关论文
共 50 条
  • [31] Formal specification and verification of a micropayment protocol
    Gouda, MG
    Liu, AX
    ICCCN 2004: 13TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2004, : 489 - 494
  • [32] Formal specification and verification of hardware designs
    Ramesh, S
    Rao, SSSP
    Sivakumar, G
    Bhaduri, P
    PHOTOMASK AND X-RAY MASK TECHNOLOGY V, 1998, 3412 : 261 - 268
  • [33] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
    CARMO, J
    SERNADAS, A
    INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
  • [34] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [35] FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION
    SUNSHINE, C
    COMPUTER, 1979, 12 (09) : 20 - 27
  • [36] Formal specification in VHDL for hardware verification
    Reetz, R
    Schneider, K
    Kropf, T
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 257 - 263
  • [37] A LANGUAGE FOR COMPOSITIONAL SPECIFICATION AND VERIFICATION OF FINITE STATE HARDWARE CONTROLLERS
    CLARKE, EM
    LONG, DE
    MCMILLAN, KL
    PROCEEDINGS OF THE IEEE, 1991, 79 (09) : 1283 - 1292
  • [38] SYNTHESIS OF FINITE STATE MACHINES FOR CPLDs
    Czerwinski, Robert
    Kania, Dariusz
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2009, 19 (04) : 647 - 659
  • [39] CLASS - A CAD-SYSTEM FOR AUTOMATIC SYNTHESIS AND VERIFICATION OF ASYNCHRONOUS FINITE-STATE MACHINES
    CHU, TA
    INTEGRATION-THE VLSI JOURNAL, 1993, 15 (03) : 263 - 289
  • [40] Aspect-Oriented Modeling and Verification with Finite State Machines
    Xu, Dian-Xiang
    El-Ariss, Omar
    Xu, Wei-Feng
    Wang, Lin-Zhang
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 24 (05) : 949 - 961
12345