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 条
  • [31] Automated brain analysis, NeuroQuant and volBrain software comparison
    Koussis, Panagiotis
    Toulas, Panagiotis
    Lamprou, Eleni
    Glotsos, Dimitrios
    Kehagias, Dimitrios
    Lavdas, Eleftherios
    JOURNAL OF THE NEUROLOGICAL SCIENCES, 2021, 429
  • [32] The ProcessPAIR Method for Automated Software Process Performance Analysis
    Raza, Mushtaq
    Faria, Joao Pascoal
    IEEE ACCESS, 2020, 8 (08): : 141569 - 141583
  • [33] AMiGA: Software for Automated Analysis of Microbial Growth Assays
    Midani, Firas S.
    Collins, James
    Britton, Robert A.
    MSYSTEMS, 2021, 6 (04)
  • [34] Development of An Automated Analysis Software for Daily CT QA
    Hart, A.
    Watkins, A.
    Bazalova-Carter, M.
    Uribe, C.
    MEDICAL PHYSICS, 2021, 48 (06)
  • [35] Automated stellar spectral analysis software for survey spectra
    Luo, A-Li
    Wu, Yue
    Zhao, Jingkun
    Zhao, Gang
    ADVANCED SOFTWARE AND CONTROL FOR ASTRONOMY II, PTS 1 & 2, 2008, 7019
  • [36] VoiceLab: Software for Fully Reproducible Automated Voice Analysis
    Feinberg, David R.
    INTERSPEECH 2022, 2022, : 351 - 355
  • [37] Automated software for slitless spectroscopy analysis and quasar selection
    Sabbey, CN
    ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS VIII, 1999, 172 : 207 - 210
  • [38] FastProtein-an automated software for in silico proteomic analysis
    Moreira, Renato Simoes
    Benetti Filho, Vilmar
    Maia, Guilherme Augusto
    Soratto, Tatiany Aparecida Teixeira
    Kawagoe, Eric Kazuo
    Russi, Bruna Caroline
    Miletti, Luiz Claudio
    Wagner, Glauber
    PEERJ, 2024, 12
  • [39] Automated Analysis of Multi-View Software Architectures
    Cheng, Chih-Hong
    Hamza, Yassine
    Ruess, Harald
    2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 725 - 730
  • [40] Automated Diagnosis of Software Misconfigurations Based on Static Analysis
    Dong, Zhen
    Ghanavati, Mohammadreza
    Andrzejak, Artur
    2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 162 - 168
12345