Title: Formal Methods Foundations and Applications
            
                Lecture Notes in Computer Science
Subjects: Logic design, Information Systems, Computer science, Software engineering, Formal methods (Computer science), Congresses, Fehlertoleranz, Kongress, Formale Methode, Model Checking, Sicherheitskritisches System, Interrupt <Informatik>, Software, Testen, Programmverifikation, Verifikation, Interrupt (Informatik), System design