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 条
  • [1] Automated software license analysis
    Timo Tuunanen
    Jussi Koskinen
    Tommi Kärkkäinen
    Automated Software Engineering, 2009, 16 : 455 - 490
  • [2] Automated software license analysis
    Tuunanen, Timo
    Koskinen, Jussi
    Karkkainen, Tommi
    AUTOMATED SOFTWARE ENGINEERING, 2009, 16 (3-4) : 455 - 490
  • [3] The Development of Automated Behavior Analysis Software
    Jaana, Yuki
    Prima, Oky Dicky Ardiansyah
    Imabuchi, Takashi
    Ito, Hisayoshi
    Hosogoe, Kumiko
    SIXTH INTERNATIONAL CONFERENCE ON GRAPHIC AND IMAGE PROCESSING (ICGIP 2014), 2015, 9443
  • [4] Automated Analysis of Industrial Embedded Software
    Kim, Moonzoo
    Kim, Yunho
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 51 - 59
  • [5] Development of Automated Conjunctival Hyperemia Analysis Software
    Sumi, Tamaki
    Yoneda, Tsuyoshi
    Fukuda, Ken
    Hoshikawa, Yasuhiro
    Kobayashi, Masahiko
    Yanagi, Masahide
    Kiuchi, Yoshiaki
    Yasumitsu-Lovell, Kahoko
    Fukushima, Atsuki
    CORNEA, 2013, 32 : S52 - S59
  • [6] AutoEM: a software for automated acquisition and analysis of nanoparticles
    Toni Uusimaeki
    Thorsten Wagner
    Hans-Gerd Lipinski
    Ralf Kaegi
    Journal of Nanoparticle Research, 2019, 21
  • [7] Software Tool for the Automated Risk Analysis of Machinery
    Vasek, Lubomir
    Blecha, Petr
    Blecha, Radim
    INTERNATIONAL JOURNAL OF ENGINEERING RESEARCH IN AFRICA, 2015, 18 : 215 - 222
  • [8] AUTOMATED VOLTAMMETRIC ANALYSIS - SOFTWARE AND HARDWARE FACILITIES
    IVANOV, YA
    GRIGOREV, SV
    MOSHKIN, VV
    MERZHA, AN
    KHUSTENKO, LA
    MAKATROVA, AI
    JOURNAL OF ANALYTICAL CHEMISTRY, 1994, 49 (09) : 866 - 869
  • [9] AutoEM: a software for automated acquisition and analysis of nanoparticles
    Uusimaeki, Toni
    Wagner, Thorsten
    Lipinski, Hans-Gerd
    Kaegi, Ralf
    JOURNAL OF NANOPARTICLE RESEARCH, 2019, 21 (06)
  • [10] Software for automated analysis of DNA fingerprinting gels
    Fuhrmann, DR
    Krzywinski, MI
    Chiu, R
    Saeedi, P
    Schein, JE
    Bosdet, IE
    Chinwalla, A
    Hillier, LW
    Waterston, RH
    McPherson, JD
    Jones, SJM
    Marra, MA
    GENOME RESEARCH, 2003, 13 (05) : 940 - 953
12345