View source for SSV 2009

{{Event
 | Acronym = SSV 2009
 | Title = 4th International Workshop on Systems Software Verification
 | Type = Workshop
 | Series = 
 | Field = Compilers
 | Homepage = https://www.easychair.org/login.cgi?conf=ssv09
 | Start date = Jun 22, 2009 
 | End date =  Jun 24, 2009
 | City= Aachen
 | State = 
 | Country =  Germany
 | Abstract deadline = 
 | Submission deadline = Feb 6, 2009
 | Notification = 
 | Camera ready = May 6, 2009
}}

<pre>
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.
	</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4460&amp;copyownerid=619 WikiCFP][[Category:Embedded systems]]
[[Category:Software engineering]]
[[Category:Automation]]
Acronym	SSV 2009 +
Camera ready due	May 6, 2009 +
End date	June 24, 2009 +
Event type	Workshop +
Has coordinates	50° 46' 35", 6° 5' 2"Latitude: 50.77635 Longitude: 6.0838611111111 +
Has location city	Aachen +
Has location country	Category:Germany +
Homepage	https://www.easychair.org/login.cgi?conf=ssv09 +
IsA	Event +
Start date	June 22, 2009 +
Submission deadline	February 6, 2009 +
Title	4th International Workshop on Systems Software Verification +