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 条
  • [21] Reversible software for modular static average-case analysis
    Schellekens, M.
    Early, D.
    Popovici, E.
    [J]. FIRST INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE DEPENDABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, : 6 - 10
  • [22] Towards Automated Static Verification of GNU C Programs
    Novikov, Evgeny
    Zakharov, Ilja
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2017, 2018, 10742 : 402 - 416
  • [23] Static Code Analysis for Software Security Verification: Problems and Approaches
    Zhioua, Zeineb
    Short, Stuart
    Roudier, Yves
    [J]. 2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014), 2014, : 102 - 109
  • [24] Formal verification of static software models in MDE: A systematic review
    Gonzalez, Carlos A.
    Cabot, Jordi
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2014, 56 (08) : 821 - 838
  • [25] Static and Dynamic Verification Method of Trusted Embedded Software Systems
    Huang, Bo
    Xu, Yong
    Wu, Guoqing
    [J]. 2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND APPLICATIONS (CSA), 2013, : 67 - 71
  • [26] TOWARDS A MODULAR SPECIFICATION AND VERIFICATION OF PROTOCOLS WITHIN A LAYERED ARCHITECTURE
    SOUISSI, Y
    [J]. FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 35 - 50
  • [27] Towards an Embedded Software Component Quality Verification Framework
    Carvalho, Fernando
    Meira, Silvio R. J.
    [J]. 2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2009, : 249 - 258
  • [28] Towards Rule Enforcement Verification for Software Defined Networks
    Zhang, Peng
    [J]. IEEE INFOCOM 2017 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS, 2017,
  • [29] Towards a Formal Verification Approach for Cloud Software Architecture
    Ayach, Amal
    Sliman, Layth
    Kmimech, Mourad
    Bhiri, Mohamed Tahar
    Raddaoui, Badran
    [J]. NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 490 - 502
  • [30] MFSMTools: Software for the development, verification, and execution of modular finite state machines
    Endsley, E. W.
    Almeida, E. E.
    Ramamoorthy, K. D.
    Tilbury, D. M.
    [J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 467 - +
12345