Title: Hardware and software
Subjects: Congresses, Verification, Computer programs, Computer input-output equipment, Software architecture, Computer software, Computer software, verification, Integrated circuits, Hardwareverifikation, Korrektheit, Programmverifikation, Software, Testen, Model Checking