(mobo import Concept___Event_For_Confident-migrated_2) |
(mobo import Concept___Events_With_Academic_Fields-migrated) |
||
| Line 3: | Line 3: | ||
|Title=4th International Workshop on Systems Software Verification | |Title=4th International Workshop on Systems Software Verification | ||
|Type=Workshop | |Type=Workshop | ||
| − | |||
|Homepage=https://www.easychair.org/login.cgi?conf=ssv09 | |Homepage=https://www.easychair.org/login.cgi?conf=ssv09 | ||
|City=Aachen | |City=Aachen | ||
| Line 15: | Line 14: | ||
|Start Date=Jun 22, 2009 | |Start Date=Jun 22, 2009 | ||
|End Date=Jun 24, 2009 | |End Date=Jun 24, 2009 | ||
| + | |Academic Field=Compilers | ||
}} | }} | ||
Revision as of 14:03, 24 August 2022
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
