Towards Static Modular Software Verification

被引：0
|
作者：
Department of Software Engineering, Technische Universität Berlin, Ernst-Reuter-Platz 7, Berlin [1 ]
10587, Germany
机构：
来源：
Lect. Notes Informatics (LNI), Proc. - Series Ges. Inform. (GI) | / 147-153期
关键词：
Compendex;
D O I：
2012 Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2012 - 2012 Workshop Conference of the GI Division on Software Engineering, Software Engineering 2012
中图分类号：
学科分类号：
摘要：
Verification
引用
收藏
相关论文
共 50 条
  • [1] Towards Modular Verification of Software Product Lines with mCRL2
    ter Beek, Maurice H.
    de Vink, Erik P.
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 368 - 385
  • [2] Modular verification of static class invariants
    Leino, KRM
    Müller, P
    [J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 26 - 42
  • [3] Modular verification of software components in C
    Chaki, S
    Clarke, E
    Groce, A
    Jha, S
    Veith, H
    [J]. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 385 - 395
  • [4] Modular verification of software components in C
    Chaki, S
    Clarke, EM
    Groce, A
    Jha, S
    Veith, H
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (06) : 388 - 402
  • [5] Towards an Industrial Use of Sound Static Analysis for the Verification of Concurrent Embedded Avionics Software
    Mine, Antoine
    Delmas, David
    [J]. 2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 65 - 74
  • [6] Modular Verification of Interrupt-Driven Software
    Sung, Chungha
    Kusano, Markus
    Wang, Chao
    [J]. PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 206 - 216
  • [7] The influence of software module systems on modular verification
    Li, HC
    Fisler, K
    Krishnamurthi, S
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 60 - 78
  • [8] Programming rule static verification for reliable software
    Robert, P
    [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 239 - 249
  • [9] Towards modular verification of pathways: fairness and assumptions
    Drabik, Peter
    Maggiolo-Schettini, Andrea
    Milazzo, Paolo
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (100): : 63 - 81
  • [10] Towards Compositional Verification for Modular Robotic Systems
    Cardoso, Rafael C.
    Dennis, Louise A.
    Farrell, Marie
    Fisher, Michael
    Luckcuck, Matt
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (329): : 15 - 22
12345