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 条
  • [1] Automated Verification of Concurrent Software
    Kroening, Daniel
    REACHABILITY PROBLEMS, 2013, 8169 : 19 - 20
  • [2] Automated Software Verification of Hyperliveness
    Beutner, Raven
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2024, 2024, 14571 : 196 - 216
  • [3] The RAPID Software Verification Framework
    Georgiou, Pamina
    Gleiss, Bernhard
    Bhayat, Ahmed
    Rawson, Michael
    Kovacs, Laura
    Reger, Giles
    2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 255 - 260
  • [4] A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes
    Gandini, Stefano
    Ruzzarin, Walter
    Sanchez, Ernesto
    Squillero, Giovanni
    Tonda, Alberto
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2010, 26 (06): : 689 - 697
  • [5] A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes
    Stefano Gandini
    Walter Ruzzarin
    Ernesto Sanchez
    Giovanni Squillero
    Alberto Tonda
    Journal of Electronic Testing, 2010, 26 : 689 - 697
  • [6] Towards Automated Software Verification and Validation
    Asadollahi, Somayeh
    Rafe, Vahid
    Rafeh, Reza
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 206 - 210
  • [7] An automated dose verification software for brachytherapy
    Wang, Xianliang
    Wang, Pei
    Li, Churong
    Wu, Zhangwen
    Gou, Chengjun
    Li, Jie
    Kang, Shengwei
    Hou, Qing
    JOURNAL OF CONTEMPORARY BRACHYTHERAPY, 2018, 10 (05) : 478 - 482
  • [8] Evaluating Automated Software Verification Tools
    Prause, Christian R.
    Gerlich, Rainer
    Gerlich, Ralf
    2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2018, : 343 - 353
  • [9] A software framework for automated negotiation
    Bartolini, C
    Preist, C
    Jennings, NR
    SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS III: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2004, 3390 : 213 - 235
  • [10] A Framework for Verification of Software with Time and Probabilities
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 25 - +
12345