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 条
  • [1] Formal semantics and verification for feature modeling
    Sun, J
    Zhang, HY
    Li, YF
    Wang, H
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 303 - 312
  • [2] FEATURE INTERACTIONS AND FORMAL SPECIFICATIONS IN TELECOMMUNICATIONS
    ZAVE, P
    COMPUTER, 1993, 26 (08) : 20 - &
  • [3] Formal Verification for Feature-based Composition of Workflows
    Adelsberger, Stephan
    Igried, Bashar
    Moser, Markus
    Savenkov, Vadim
    Setzer, Anton
    2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 173 - 181
  • [4] A formal approach for definition and detection of feature interactions
    Yoneda, T
    Ohta, T
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS V, 1998, : 202 - 216
  • [5] Formal definitions of feature interactions in telecommunications software
    Ohta, T
    Cristian, F
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1998, E81A (04) : 635 - 638
  • [6] AutoSVA: Democratizing Formal Verification of RTL Module Interactions
    Orenes-Vera, Marcelo
    Manocha, Aninda
    Wentzlaff, David
    Martonosi, Margaret
    2021 58TH ACM/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2021, : 535 - 540
  • [7] Detection of feature interactions in intelligent networks by verification
    Bredereke, J
    SOFTWARE-CONCEPTS AND TOOLS, 1996, 17 (03): : 121 - 139
  • [8] Formal detection of feature interactions with logic programming and LOTOS
    Nicolas Gorse
    Luigi Logrippo
    Jacques Sincennes
    Software & Systems Modeling, 2006, 5 (2) : 135 - 135
  • [9] A feature-based classification of formal verification techniques for software models
    Sebastian Gabmeyer
    Petra Kaufmann
    Martina Seidl
    Martin Gogolla
    Gerti Kappel
    Software & Systems Modeling, 2019, 18 : 473 - 498
  • [10] A feature-based classification of formal verification techniques for software models
    Gabmeyer, Sebastian
    Kaufmann, Petra
    Seidl, Martina
    Gogolla, Martin
    Kappel, Gerti
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 473 - 498
12345