A Software Framework for Automated Verification

被引：0

作者：

Raedts, Ivo ^{[1
]}

Petkovic, Marija ^{[1
]}

Serebrenik, Alexander ^{[1
]}

van der Werf, Jan Martijn ^{[1
]}

Somers, Lou ^{[1
]}

Boote, Maarten ^{[1
]}

机构：

[1] LaQuSo, Den Dolech 2,POB 513, NL-5600 MB Eindhoven, Netherlands

来源：

APPLIED COMPUTING 2007, VOL 1 AND 2 | 2007年

关键词：

Framework; model transformation and verification; integration;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

This paper describes. a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.

引用

页码：1031 / +

页数：2

共 50 条

[31] A FRAMEWORK FOR SOFTWARE SAFETY VERIFICATION OF INDUSTRIAL ROBOT OPERATIONS
RAHIMI, M
XIA, XD
COMPUTERS & INDUSTRIAL ENGINEERING, 1991, 20 (02) : 279 - 287
[32] Software Safety Verification Framework based on Predicate Abstraction
Liang Haowei
Hou Chunyan
Wang Jinsong
Chen Chen
2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 1327 - 1332
[33] Model driven security framework for software design and verification
Deveci, Engin
Caglayan, Mehmet U.
SECURITY AND COMMUNICATION NETWORKS, 2015, 8 (16) : 2768 - 2792
[34] Software verification and graph similarity for automated evaluation of students' assignments
Vujosevic-Janicic, Milena
Nikolic, Mladen
Tosic, Dugan
Kuncak, Viktor
INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (06) : 1004 - 1016
[35] Automated Hardware and Software Complex for extended light sources verification
Gorbunova, Elena V.
Peretyagin, Vladimir S.
Chertov, Aleksandr N.
OPTICAL MEASUREMENT SYSTEMS FOR INDUSTRIAL INSPECTION VIII, 2013, 8788
[36] Towards Automated Software Verification Using Model Checking Techniques
Asadollahi, Somayeh
Rafe, Vahid
Rafeh, Reza
Rahmani, Adel T.
THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 305 - +
[37] Efficient Software Verification: Statistical Testing Using Automated Search
Poulding, Simon
Clark, John A.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2010, 36 (06) : 763 - 777
[38] Research directions for automated software verification: Using trusted hardware
Devanbu, P
Stubblebine, S
AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 274 - 279
[39] Automated support for framework-based software evolution
Tourwé, T
Mens, T
INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2003, : 148 - 157
[40] A Lightweight-leveled Software Automated Test Framework
Zhao, Jianping
Liu, Xiaoyang
Xi, Hongming
Xu, Liya
Zhao, Jianhui
Liu, Huanming
RESEARCH IN MATERIALS AND MANUFACTURING TECHNOLOGIES, PTS 1-3, 2014, 835-836 : 1919 - +

← 1 2 3 4 5 →