Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung.