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 条
  • [41] Polynomial Formal Verification of Multipliers
    Martin Keim
    Rolf Drechsler
    Bernd Becker
    Michael Martin
    Paul Molitor
    Formal Methods in System Design, 2003, 22 : 39 - 58
  • [42] The MODUS Approach to Formal Verification
    Brewka, Lukasz
    Soler, Jose
    Berger, Michael
    BUSINESS SYSTEMS RESEARCH JOURNAL, 2014, 5 (01): : 21 - 33
  • [43] Formal Verification of Bayesian Mechanisms
    Mittelmann, Munyque
    Maubert, Bastien
    Murano, Aniello
    Perrussel, Laurent
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, 2023, : 11621 - 11629
  • [44] Formal verification of PLC programs
    Rausch, M
    Krogh, BH
    PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 234 - 238
  • [45] Formal verification of embedded SoC
    Wang, B
    Lin, ZH
    2001 4TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, 2001, : 769 - 772
  • [46] On bridging simulation and formal verification
    Goldberg, Eugene
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 127 - 141
  • [47] Formal Verification of a Transistor PCell
    Langner, Kerstin
    Scheible, Juergen
    2017 13TH CONFERENCE ON PH.D. RESEARCH IN MICROELECTRONICS AND ELECTRONICS (PRIME), 2017, : 205 - 208
  • [48] Formal verification made easy
    Schlipf, T
    Buechner, T
    Fritz, R
    Helms, M
    Koehl, J
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1997, 41 (4-5) : 567 - 576
  • [49] Formal verification of an optimizing compiler
    Leroy, Xavier
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 1 - 1
  • [50] The evolution of commercial formal verification
    Kurshan, RP
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 2975 - 2980
12345