CFP: 7th SSV

Those on this list working on verified/certified secure systems might
be interested in the following CFP.

[Note: Submission Deadline is 19 September 2012]

7th Systems Software Verification Conference (SSV 2012)
              November 28--30, 2012
                Sydney, Australia

           http://www.ssv-conference.org/

*Scope

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