Title: Tools and algorithms for the construction and analysis of systems
Subjects: Development, Model Checking, Congresses, System design, System analysis, Softwareentwicklung, Computer software, Theoretische Informatik, Systementwicklung, Programmanalyse, Logic design, Computer networks, Artificial intelligence, Software engineering, Computer science