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 条
  • [41] A framework for automated software partitioning and mapping for distributed multiprocessors
    Ramanujan, RS
    Bonney, JC
    Thurber, KJ
    Jha, R
    Siegel, HJ
    SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS, 1996, : 138 - 145
  • [42] Template engineering based framework for automated software development
    Fang, Min
    Ying, Jing
    Wu, Minghui
    2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 437 - 442
  • [43] A Software Framework for Automated Behavioral Modeling of Electronic Devices
    Gorissen, Dirk
    Deschrijver, Dirk
    Dhaene, Tom
    De Zutter, Daniel
    IEEE MICROWAVE MAGAZINE, 2012, 13 (06) : 102 - 118
  • [44] ChemTest: An Automated Software Testing Framework for an Emerging Paradigm
    Gerten, Michael C.
    Lathrop, James, I
    Cohen, Myra B.
    Klinge, Titus H.
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 548 - 560
  • [45] Three-module framework for automated software testing
    Kozak, Ilona
    Berko, Andrii
    2022 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND INFORMATION TECHNOLOGIES (CSIT), 2022, : 454 - 457
  • [46] Automated framework for classification and selection of software design patterns
    Hussain, Shahid
    Keung, Jacky
    Sohail, Muhammad Khalid
    Khan, Arif Ali
    Ilahi, Manzoor
    APPLIED SOFT COMPUTING, 2019, 75 : 1 - 20
  • [47] A framework for scientific data modeling and automated software development
    Fogh, RH
    Boucher, W
    Vranken, WF
    Pajon, A
    Stevens, TJ
    Bhat, TN
    Westbrook, J
    Ionides, JMC
    Laue, ED
    BIOINFORMATICS, 2005, 21 (08) : 1678 - 1684
  • [48] A Framework for Network Security Verification of Automated Vehicles in the Agricultural Domain
    Gaggero, Giovanni Battista
    Fausto, Alessandro
    Patrone, Fabio
    Marchese, Mario
    PROCEEDINGS OF 26TH INTERNATIONAL CONFERENCE ELECTRONICS 2022, 2022,
  • [49] An Automated Framework for Formal Verification of Timed Continuous Petri Nets
    Kloetzer, Marius
    Mahulea, Cristian
    Belta, Calin
    Silva, Manuel
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (03) : 460 - 471
  • [50] An Automated Verification Framework for HalideIR-Based Compiler Transformations
    Wang, Yanzhao
    Xie, Fei
    Yang, Zhenkun
    Casas, Jeremy
    Cocchini, Pasquale
    Yang, Jin
    2023 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2023,
12345