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 条
  • [21] Formal Verification of HotStuff
    Jehl, Leander
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2021, 2021, 12719 : 197 - 204
  • [22] Perspectives on Formal Verification
    Friedman, Harvey M.
    PROCEEDINGS OF THE 5TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP'16), 2016, : 1 - 1
  • [23] FORMAL VERIFICATION OF MICROPROCESSORS
    SRIVAS, M
    BICKFORD, M
    COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 93 - 102
  • [24] On formal definition and analysis of formal verification processes
    Osterweil, Leon J.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8373 : 35 - 52
  • [25] INVITED: Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs
    Ray, Sayak
    Ghosh, Nishant
    Masti, Ramya Jayaram
    Kanuparthi, Arun
    Fung, Jason M.
    PROCEEDINGS OF THE 2019 56TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2019,
  • [26] Formal Verification of Liferay RBAC
    Calzavara, Stefano
    Rabitti, Alvise
    Bugliesi, Michele
    ENGINEERING SECURE SOFTWARE AND SYSTEMS (ESSOS 2015), 2015, 8978 : 1 - 16
  • [27] Formal verification of firewall policies
    Liu, Alex X.
    2008 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, PROCEEDINGS, VOLS 1-13, 2008, : 1494 - 1498
  • [28] Formal Verification for Components and Connectors
    Baier, Christel
    Blechmann, Tobias
    Klein, Joachim
    Klueppelholz, Sascha
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2009, 5751 : 82 - 101
  • [29] Formal verification: Prove it or pitch it
    Pixley, C
    Carballo, JA
    IEEE DESIGN & TEST OF COMPUTERS, 2003, 20 (04): : 86 - 88
  • [30] Coverage metrics for formal verification
    Hana Chockler
    Orna Kupferman
    Moshe Vardi
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 373 - 386
12345