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 条
  • [41] Aspect-Oriented Modeling and Verification with Finite State Machines
    徐殿祥
    Omar El-Ariss
    许巍峰
    王林章
    JournalofComputerScience&Technology, 2009, 24 (05) : 949 - 961
  • [42] Aspect-Oriented Modeling and Verification with Finite State Machines
    Dian-Xiang Xu
    Omar El-Ariss
    Wei-Feng Xu
    Lin-Zhang Wang
    Journal of Computer Science and Technology, 2009, 24 : 949 - 961
  • [43] Verification of Hypermedia Characteristic of RESTful Finite-State Machines
    Vu, Henry
    Fertig, Tobias
    Braun, Peter
    COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), 2018, : 1881 - 1886
  • [44] On verification of communicating finite state machines using residual languages
    Chabbar, El Maati
    Bouhdadi, Mohamed
    AMS 2007: FIRST ASIA INTERNATIONAL CONFERENCE ON MODELLING & SIMULATION ASIA MODELLING SYMPOSIUM, PROCEEDINGS, 2007, : 212 - +
  • [45] Synthesis and Formal Verification of On-Chip Protocol Transducers through Decomposed Specification
    Fujita, Masahiro
    Tanida, Hideo
    Gao, Fei
    Nishihara, Tasuku
    Matsumoto, Takeshi
    PROCEEDINGS OF THE ELEVENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2010), 2010, : 515 - 523
  • [46] A Survey of Smart Contract Formal Specification and Verification
    Tolmach, Palina
    Li, Yi
    Lin, Shang-Wei
    Liu, Yang
    Li, Zengxiang
    ACM COMPUTING SURVEYS, 2021, 54 (07)
  • [47] A formal specification for web services composition and verification
    Shi, YL
    Zhang, L
    Liu, B
    Liu, FF
    Lin, LL
    Shi, BL
    Fifth International Conference on Computer and Information Technology - Proceedings, 2005, : 252 - 256
  • [48] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [49] Tools for formal specification, verification, and validation of requirements
    Heitmeyer, C
    Kirby, J
    Labaw, B
    COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 35 - 47
  • [50] Formal Specification and Verification of Dynamic Parametrized Architectures
    Cimatti, Alessandro
    Stojic, Ivan
    Tonetta, Stefano
    FORMAL METHODS, 2018, 10951 : 625 - 644
12345