<span class="Apple–style–span" style="border–collapse: separate; color: rgb(0, 0, 0); font–family: ′Times New Roman′; font–style: normal; font–variant: normal; font–weight: normal; letter–spacing: normal; line–height: normal; orphans: 2; text–indent: 0px; text–transform: none; white–space: normal; widows: 2; word–spacing: 0px; font–size: medium;"><pre><br class="Apple–interchange–newline"><br>Industrial–strength software analysis and verification has advanced in<br>recent years through the introduction of model checking, automated and<br>interactive theorem proving, static analysis techniques, as well as<br>correctness by design, correctness by contract, and model–driven<br>development. However, many techniques are working under restrictive<br>assumptions which are invalidated by complex embedded systems<br>software such as operating system kernels, low–level device drivers or<br>microcontroller code.<br>The aim of this workshop is to bring together researchers and<br>developers from both academia and industry, who are facing real<br>software and real problems to find real, applicable solutions. By<br>"real" we mean problems such as time–to–market or reliability that the<br>industry is facing. A real solution is one that is applicable to the<br>problem in industry and not one that only applies to an abstract,<br>academic toy version of it. This forum discusses software analysis<br>and development techniques and tools; it will serves as a<br>platform to discuss open problems and future challenges in dealing<br>with existing and upcoming systems level code.</pre></span>
Abbrevation
SSV
City
Vancouver
Country
Canada
Deadline Paper
Start Date
End Date
Abstract