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 条
  • [21] Automated Verification and Validation Methods for Transmission Control Software
    Medikeri, Madhura
    Tasky, Thomas
    Richenhagen, Johannes
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2015, 8 (01): : 99 - 105
  • [22] Automated Verification of Software Constraints Using Business Rules
    Sabir, Sidra
    Ali, Munsub
    INTELLIGENT TECHNOLOGIES AND APPLICATIONS, INTAP 2018, 2019, 932 : 832 - 837
  • [23] Sleuth: Automated Verification of Software Power Analysis Countermeasures
    Bayrak, Ali Galip
    Regazzoni, Francesco
    Novo, David
    Ienne, Paolo
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2013, 2013, 8086 : 293 - 310
  • [24] Structuring software functional requirements for automated design and verification
    Kundu, Sukhamay
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 127 - 134
  • [25] Architecting for reuse: A software framework for automated negotiation
    Bartolini, C
    Priest, C
    Jennings, NR
    AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 88 - 100
  • [26] A Software Framework for the Automated Production of Schematic Maps
    Mourinho, Joao
    Galvao, Teresa
    Falcao e Cunha, Joao
    Vieira, Fernando
    Pacheco, Jose
    IS OLYMPICS: INFORMATION SYSTEMS IN A DIVERSE WORLD, 2012, 107 : 64 - +
  • [27] RobusTest: A Framework for Automated Testing of Software Robustness
    Shahrokni, Ali
    Feldt, Robert
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 171 - 178
  • [28] Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
    Agirre, Joseba A.
    Yazici, Ahmet
    Di Blasio, Katia
    Luis de la Vara, Jose
    Sangchoolie, Behrooz
    Yayan, Ugur
    Barbosa, Raul
    Etxeberria, Leire
    Nazaria, Massimo
    Karaca, Mustafa
    2022 18TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2022), 2022, : 41 - 48
  • [29] An Automated Policy Verification and Enforcement Framework for Ethereum Applications
    Sahoo, Swagatika
    Halder, Raju
    Mondal, Samrat
    2023 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY, ICBC, 2023,
  • [30] Towards an Embedded Software Component Quality Verification Framework
    Carvalho, Fernando
    Meira, Silvio R. J.
    2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2009, : 249 - 258
12345