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 条
  • [1] Synthesis of finite state machines for improved state verification
    Ahmad, InItiaz
    Ali, Faridah M.
    Das, A. Shoba
    COMPUTERS & ELECTRICAL ENGINEERING, 2006, 32 (05) : 349 - 363
  • [2] SPECIFICATION AND SYNTHESIS OF COMMUNICATING FINITE-STATE MACHINES
    BELHADJ, H
    GERBAUX, L
    BERTRAND, MC
    SAUCIER, G
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 91 - 102
  • [3] Specification, Verification, and Synthesis using Extended State Machines with Callbacks
    Fowze, Farhaan
    Yavuz, Tuba
    2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 95 - 104
  • [4] Formal Verification of Generalised State Machines
    Eleftherakis, George
    Kefalas, Petros
    PCI 2008: 12TH PAN-HELLENIC CONFERENCE ON INFORMATICS, PROCEEDINGS, 2008, : 227 - 231
  • [5] Specification and Synthesis of Parallel Hierarchical Finite State Machines for Control Applications
    Sklyarov, Valery
    Skliarova, Iouliia
    ASCC: 2009 7TH ASIAN CONTROL CONFERENCE, VOLS 1-3, 2009, : 1085 - 1090
  • [6] Automated formal verification of scheduling process using finite state machines with datapath (FSMD)
    Kim, Y
    Kopuri, S
    Mansouri, N
    ISQED 2004: 5TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS, 2004, : 110 - 115
  • [7] Verification of Timed Finite State Machines
    Kidyarova, Galina
    Yevtushenko, Nina
    2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
  • [8] A formal requirements engineering method for specification, synthesis, and verification
    vonderBeeck, M
    Margaria, T
    Steffen, B
    8TH CONFERENCE ON SOFTWARE ENGINEERING ENVIRONMENTS - PROCEEDINGS, 1997, : 131 - 144
  • [9] Formal verification of globally-iterated and locally-non-iterated finite state machines
    Ivanov, L
    Nunna, R
    42ND MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS, VOLS 1 AND 2, 1999, : 202 - 205
  • [10] STP-based verification and synthesis of state opacity for logical finite state machines
    Han, Weiwei
    Li, Yi
    Zhang, Zhipeng
    Xia, Chengyi
    INFORMATION SCIENCES, 2023, 641
12345