SSV 2009

From Openresearch
Jump to: navigation, search
SSV 2009
4th International Workshop on Systems Software Verification
Dates Jun 22, 2009 (iCal) - Jun 24, 2009
Location: Aachen, Germany
Loading map...

Important dates
Submissions: Feb 6, 2009
Camera ready due: May 6, 2009
Table of Contents

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 which are invalidated by complex (embedded) system
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 to find real, applicable solutions. By
"real" we mean problems such as time-to-market or reliability that the
industry is facing and is trying to fix in software that is deployed
in the market place. 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. This forum will discuss software
analysis/development techniques and tools; it will also serve as a
platform to discuss open problems and future challenges in dealing
with existing and upcoming systems level code.

This CfP was obtained from WikiCFP

Facts about "SSV 2009"
AcronymSSV 2009 +
Camera ready dueMay 6, 2009 +
End dateJune 24, 2009 +
Event typeWorkshop +
Has coordinates50° 52' 50", 6° 12' 43"Latitude: 50.880486111111
Longitude: 6.2119388888889
Has location cityAachen +
Has location countryCategory:Germany +
Homepage +
IsAEvent +
Start dateJune 22, 2009 +
Submission deadlineFebruary 6, 2009 +
Title4th International Workshop on Systems Software Verification +