Scope of the workshop

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 forum will serve as a platform to discuss open problems and future challenges in dealing with existing and upcoming systems-level code.

Topics include, but are not restricted to:
  • Model checking
  • Automated and interactive theorem proving
  • Static analysis
  • Automated testing
  • Model-driven development
  • Embedded systems development
  • Programming languages
  • Verifying compilers
  • Software certification
  • Software tools
  • Experience reports
Sponsored by:
NICTA
Supported by:
FBK RWTH-AACHEN Technische Universitat Dresden RWTH-AACHEN
Published by:
[to be announced]
Valid XHTML 1.0 Transitional Valid CSS! [Valid RSS]
Inspired by the FMICS 2010 web pages by Marco Roveri