A formal verification of feature interactions

被引：0
|
作者：
Leneutre, J [1 ]
Tingaud, R [1 ]
机构：
[1] Alcatel, Corp Res Ctr, Marcoussis, France
来源：
ALCATEL TELECOMMUNICATIONS REVIEW | 1999年 / 01期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：16 / 18
页数：3
相关论文
共 50 条
  • [31] Coverage metrics for formal verification
    Chockler, H
    Kupferman, O
    Vardi, MY
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 111 - 125
  • [32] Design and Formal Verification of DZMBE
    Mohammadi, Mahdi Soodkhah
    Bafghi, Abbas Ghaemi
    ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2013, 5 (01): : 37 - 53
  • [33] Formal Verification of Concurrency in Go
    Prasertsang, Anuchit
    Pradubsuwun, Denduang
    2016 13TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2016, : 258 - 261
  • [34] Formal verification of firewall policies
    Liu, Alex X.
    2008 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, PROCEEDINGS, VOLS 1-13, 2008, : 1494 - 1498
  • [35] Exploiting Refactoring in Formal Verification
    Yin, Xiang
    Knight, John
    Weimer, Westley
    2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), 2009, : 53 - 62
  • [36] Formal Verification Successes at Motorola
    Magdy S. Abadir
    Kenneth L. Albin
    John Havlicek
    Narayanan Krishnamurthy
    Andrew K. Martin
    Formal Methods in System Design, 2003, 22 : 117 - 123
  • [37] Formal verification of reconfigurable systems
    Rahim, Muhammad Abdul Basit Ur
    Raheem, Muhammad Ahsan Ur
    Sohail, Muhammad Khalid
    Farid, Mohammad Atif
    Mufti, Muhammad Rafiq
    SOFT COMPUTING, 2023,
  • [38] Formal verification of an ARM processor
    Patankar, VA
    Jain, A
    Bryant, RE
    TWELFTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1999, : 282 - 287
  • [39] Formal verification of an OS submodule
    Pendharkar, NS
    Gopinath, K
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 197 - 208
  • [40] Formal verification for C program
    Qian, Junyan
    Xu, Baowen
    INFORMATICA, 2007, 18 (02) : 289 - 304
12345