Compiler verification in the context of pervasive system verification. - Dirk Carsten Leinenbach (2008)