SSV 2014
Date: Jul 23, 2014 1:00 am – Jul 24, 2014 10:00 am
Location: Vienna
8th International Workshop on Systems Software Verification
co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014.
Topics
======
Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, and static analysis techniques, as well as
correctness by design, correctness by contract, and model-driven
development. However, many techniques are working under restrictive
assumptions that are invalidated by complex embedded systems software
such as operating system kernels, low-level device drivers, or
microcontroller code.
The aim of this workshop is to bring together researchers and developers
from both academia and industry who are facing real software and real
problems with the goal of finding real, applicable solutions. By “real”
we mean problems such as time-to-market or reliability that the industry
is facing. A real solution is one that is applicable to the problem in
industry and not one that only applies to an abstract, academic, toy
version of it. In this workshop we will discuss software analysis and
development techniques and tools; this forum will serve as a platform to
discuss open problems and future challenges in dealing with existing and
upcoming systems-level code.
Topics include, but are not restricted to:
* Model checking
* Automated and interactive theorem proving
* Static analysis
* Automated testing
* Model-driven development
* Embedded systems development
* Programming languages
* Verifying compilers
* Software certification
* Software tools
* Experience reports
PC Chairs
=========
Kim G. Larsen, AAU, Aalborg, Denmark
Mads Chr. Olesen, AAU, Aalborg, Denmark
Program Committee
=================
Alessandro Coglio, Kestrel Institute
Björn Lisper, Mälardalen University
Cyrille Valentin Artho, AIST
Frédéric Boniol, ONERA
Heiko Falk, Ulm University
Jan Peleska, TZI, Universitat Bremen, Germany
Joe Leslie-Hurd, Intel Corporation
John Regehr, University of Utah
Jun Sun, Singapore University of Technology and Design
Martin Schoeberl, Technical University of Denmark
Natarajan Shankar, SRI International
Raimund Kirner, University of Hertfordshire
Stefan Berghofer, secunet Security Networks AG
Thomas Kropf, University of Tübingen
Toby Murray, NICTA
Steering Committee
==================
R. Huuck, NICTA and UNSW, Sydney, Australia
G. Klein, NICTA and UNSW, Sydney, Australia
B. Schlich, ABB Corporate Research, Ladenburg, Germany
Submitted by Anonymous
on
8th International Workshop on Systems Software Verification
co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014.
Topics======
Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, and static analysis techniques, as well as
correctness by design, correctness by contract, and model-driven
development. However, many techniques are working under restrictive
assumptions that are invalidated by complex embedded systems software
such as operating system kernels, low-level device drivers, or
microcontroller code.
The aim of this workshop is to bring together researchers and developers
from both academia and industry who are facing real software and real
problems with the goal of finding real, applicable solutions. By “real”
we mean problems such as time-to-market or reliability that the industry
is facing. A real solution is one that is applicable to the problem in
industry and not one that only applies to an abstract, academic, toy
version of it. In this workshop we will discuss software analysis and
development techniques and tools; this forum will serve as a platform to
discuss open problems and future challenges in dealing with existing and
upcoming systems-level code.
Topics include, but are not restricted to:
* Model checking
* Automated and interactive theorem proving
* Static analysis
* Automated testing
* Model-driven development
* Embedded systems development
* Programming languages
* Verifying compilers
* Software certification
* Software tools
* Experience reports PC Chairs
=========
Kim G. Larsen, AAU, Aalborg, Denmark
Mads Chr. Olesen, AAU, Aalborg, Denmark
Program Committee
=================
Alessandro Coglio, Kestrel Institute
Björn Lisper, Mälardalen University
Cyrille Valentin Artho, AIST
Frédéric Boniol, ONERA
Heiko Falk, Ulm University
Jan Peleska, TZI, Universitat Bremen, Germany
Joe Leslie-Hurd, Intel Corporation
John Regehr, University of Utah
Jun Sun, Singapore University of Technology and Design
Martin Schoeberl, Technical University of Denmark
Natarajan Shankar, SRI International
Raimund Kirner, University of Hertfordshire
Stefan Berghofer, secunet Security Networks AG
Thomas Kropf, University of Tübingen
Toby Murray, NICTA
Steering Committee
==================
R. Huuck, NICTA and UNSW, Sydney, Australia
G. Klein, NICTA and UNSW, Sydney, Australia
B. Schlich, ABB Corporate Research, Ladenburg, Germany