Introduction to automatic verification of hardware and software
Modeling of hardware and software, overview of computer aided verification methods. Specification by temporal logic and automata, simulation and bisimulation, state explosion, explicit and symbolic model checking methods, abstraction and abstraction refinement, predicate abstraction, decision procedures, prover tools. Verification software in practice, overview of verification methods for specific classes of systems and current developments.
Registration about TISS Students of Studies 931, 938 are prefered. Please, subscribe the lecture. Dates for lecture hall are for 181.144 and 181.145.
ECTS Breakdown:----------------------------------25h lectures and examination35h preparation for examination15h exercises----------------------------------75h (3 ECTS)----------------------------------
evaluation by your exercises and examination
aktuelle Infos bitte LVA abonnieren Ort: TISS
Bachelor in Computer Science/Informatics or related fields