Automated Software Analysis

被引：0
|
作者：
Veith, Helmut [1 ]
机构：
[1] Vienna Univ Technol, Inst Informationssyst, Formal Methods Syst Engn, A-1060 Vienna, Austria
来源：
11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009) | 2009年
关键词：
model checking; software analysis; abstract interpretation; decision procedures;
D O I：
10.1109/SYNASC.2009.67
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Recent years have seen tremendous progress in the capabilities of software model checkers. These tools are the result of combined efforts by different communities, most notably model checking, abstract interpretation, program semantics, and decision procedures. In this tutorial, we will introduce the fundamentals of software model checking, and show how the different origins of the field combine to a common agenda.
引用
收藏
页码：18 / 18
页数：1
相关论文
共 50 条
  • [21] Towards Automated Analysis and Visualization of Distributed Software Systems
    Beck, Martin
    Doellner, Juergen
    SOFTVIS 2010: PROCEEDINGS OF THE 2010 INTERNATIONAL SYMPOSIUM ON SOFTWARE VISUALIZATION, 2010, : 213 - 214
  • [22] Using automated source code analysis for software evolution
    Burd, L
    Rank, S
    FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2001, : 204 - 210
  • [23] A Survey of Automated Root Cause Analysis of Software Vulnerability
    Jurn, JeeSoo
    Kim, Taeeun
    Kim, Hwankuk
    INNOVATIVE MOBILE AND INTERNET SERVICES IN UBIQUITOUS COMPUTING, IMIS-2018, 2019, 773 : 756 - 761
  • [24] Automated quality analysis of component software for embedded systems
    Jahnke, JH
    Niere, J
    Wadsack, J
    8TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION (IWPC 2000), PROCEEDINGS, 2000, : 18 - 26
  • [25] KymoButler, a deep learning software for automated kymograph analysis
    Jakobs, Maximilian A. H.
    Dimitracopoulos, Andrea
    Franze, Kristian
    ELIFE, 2019, 8
  • [26] IFDOTMETER: A New Software Application for Automated Immunofluorescence Analysis
    Rodriguez-Arribas, Mario
    Pizarro-Estrella, Elisa
    Gomez-Sanchez, Ruben
    Yakhine-Diop, S. M. S.
    Gragera-Hidalgo, Antonio
    Cristo, Alejandro
    Bravo-San Pedro, Jose M.
    Gonzalez-Polo, Rosa A.
    Fuentes, Jose M.
    JALA, 2016, 21 (02): : 246 - 259
  • [27] ACUA: A software tool for automated codon usage analysis
    Umashankar, Vetrivel
    Arunkumar, Vijayakumar
    Dorairaj, Sudarsanam
    BIOINFORMATION, 2007, 2 (02) : 62 - 63
  • [28] Automated Quality Analysis of Software Engineering Method Models
    Fazal-Baqaie, Masud
    Kluthe, Frank
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 527 - 534
  • [29] Automated Software Analysis of Corneal Micrographs for Peripheral Neuropathy
    Holmes, Timothy J.
    Pellegrini, Marco
    Miller, Clayton
    Epplin-Zapf, Thomas
    Larkin, Sean
    Luccarelli, Saverio
    Staurenghi, Giovanni
    INVESTIGATIVE OPHTHALMOLOGY & VISUAL SCIENCE, 2010, 51 (09) : 4480 - 4491
  • [30] A Formal Model for Automated Software Modularity and Evolvability Analysis
    Cai, Yuanfang
    Sullivan, Kevin
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2012, 21 (04)
12345