Title: Formal methods
Subjects: Programmanalyse, Programmverifikation, Formale Methode, Softwareentwicklung, Model Checking, Testen, Systementwicklung, Software, Computer software, development, Computer science, System design