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 条

[41] Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy
Aijuan Zhang
Cheng Ji
Yu Bao
Xin Li
Tsinghua Science and Technology, 2017, 22 (05) : 478 - 488
[42] McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits
Abbassi, Imran Hafeez
Khalid, Faiq
Hasan, Osman
Kamboh, Awais Mehmood
Shafique, Muhammad
IEEE ACCESS, 2018, 6 : 32240 - 32257
[43] Scheduling analysis based on model checking for multiprocessor real-time systems
Karamti, Walid
Mahfoudhi, Adel
JOURNAL OF SUPERCOMPUTING, 2014, 68 (03) : 1604 - 1629
[44] A Scalable Model Based RTL Framework zamiaCAD for Static Analysis
Tsepurov, Anton
Bartsch, Guenter
Dorsch, Rainer
Jenihhin, Maksim
Raik, Jaan
Tihhomirov, Valentin
2012 IEEE/IFIP 20TH INTERNATIONAL CONFERENCE ON VLSI AND SYSTEM-ON-CHIP (VLSI-SOC), 2012, : 171 - 176
[45] Ontology Model-Based Static Analysis of Security Vulnerabilities
Yu, Lian
Wu, Shi-Zhong
Guo, Tao
Dong, Guo-Wei
Wan, Cheng-Cheng
Jing, Yin-Hang
INFORMATION AND COMMUNICATIONS SECURITY, 2011, 7043 : 330 - +
[46] Scheduling analysis based on model checking for multiprocessor real-time systems
Walid Karamti
Adel Mahfoudhi
The Journal of Supercomputing, 2014, 68 : 1604 - 1629
[47] Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models
Palaniappan, Sucheendra K.
Gyori, Benjamin M.
Liu, Bing
Hsu, David
Thiagarajan, P. S.
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, 2013, 8130 : 120 - 134
[48] Static verification of worm and virus behavior in binary executables using model checking
Singh, PK
Lakhotia, A
IEEE SYSTEMS, MAN AND CYBERNETICS SOCIETY INFORMATION ASSURANCE WORKSHOP, 2003, : 298 - 300
[49] Model Checking-Based Performance Prediction for P4
Lukacs, Daniel
Pongracz, Gergely
Tejfel, Mate
ELECTRONICS, 2022, 11 (14)
[50] Deviation analysis: A new use of model checking
Heimdahl M.P.E.
Choi Y.
Whalen M.W.
Automated Software Engineering, 2005, 12 (3) : 321 - 347

← 1 2 3 4 5 →