Static Analysis and Family-based Model Checking with VMC

被引：2

作者：

ter Beek, Maurice H. ^{[1
]}

Mazzanti, Franco ^{[1
]}

Damiani, Ferruccio ^{[2
]}

Paolini, Luca ^{[2
]}

Scarso, Giordano ^{[2
]}

Lienhardt, Michael ^{[3
]}

机构：

[1] ISTI CNR, Pisa, Italy

[2] Univ Turin, Turin, Italy

[3] Off Natl Etud & Rech Aerosp, Palaiseau, France

来源：

SPLC '21: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A | 2021年

关键词：

VMC; SPL; variability; FTS; MTS; static analysis; model checking;

D O I：

10.1145/3461001.3472732

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

VMC is a research tool for model checking variability-rich behavioural models specified as a modal transition system (MTS) with variability constraints (MTS.). In this tutorial, we introduce a tool chain built on VMC that allows to perform an efficient kind of family-based model checking in absence of deadlocks. It accepts as input either an MTS. or a featured transition system (FTS).

引用

页数：1

共 50 条

[21] Automated Failure Analysis in Model Checking Based on Data Mining
Ge, Ning
Pantel, Marc
Cregut, Xavier
MODEL AND DATA ENGINEERING, MEDI 2014, 2014, 8748 : 13 - 28
[22] A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction
Ogawa, Hideto
Ichii, Makoto
Myojin, Tomoyuki
Chikahisa, Masaki
Nakagawa, Yuichiro
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (06): : 1150 - 1160
[23] Family-Based Deductive Verification of Software Product Lines
Thuem, Thomas
Schaefer, Ina
Apel, Sven
Hentschel, Martin
ACM SIGPLAN NOTICES, 2013, 48 (03) : 11 - 20
[24] Static Checking of Array Index out of Bounds Defects in C Programs Based on Taint Analysis
Gao F.-J.
Wang Y.
Chen T.-J.
Situ L.-Y.
Wang L.-Z.
Li X.-D.
Ruan Jian Xue Bao/Journal of Software, 2020, 31 (10): : 2983 - 3003
[25] Checking Contact Tracing App Implementations with Bespoke Static Analysis
Flood R.
Chan S.C.
Chen W.
Aspinall D.
SN Computer Science, 3 (6)
[26] A model checking-based security analysis framework for IoT systems
Fang, Zheng
Fu, Hao
Gu, Tianbo
Qian, Zhiyun
Jaeger, Trent
Hu, Pengfei
Mohapatra, Prasant
HIGH-CONFIDENCE COMPUTING, 2021, 1 (01):
[27] Integrated Modular Avionics System Safety Analysis Based on Model Checking
Wang, Hongli
Zhao, Tingdi
Ren, Fuchun
Jiang, Zeyong
2017 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2017,
[28] Integrating model checking with HiP-HOPS in model-based safety analysis
Sharvia, Septavera
Papadopoulos, Yiannis
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2015, 135 : 64 - 80
[29] A Model Checking-based Analysis Framework for Systems Biology Models
Liu, Bing
Safa, Sara
PROCEEDINGS OF THE 2020 57TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2020,
[30] Model checking for ROC regression analysis
Cai, Tianxi
Zheng, Yingye
BIOMETRICS, 2007, 63 (01) : 152 - 163

← 1 2 3 4 5 →