Modules

15 results

Cross-Cutting Elective Modules15

Advanced Concepts of Programming LanguagesNo ratings for this module yet.Formal Methods and their ApplicationsYou engage with the meaning (semantics) of various language constructs and how they are implemented in compilers and runtime systems. In the end you will be able to analyze language features, compare them, and, if necessary, reproduce them in another language model as well as extend compilers to support these constructs.6 ECTSruns this semesterCIT3230000Ausgewählte Themen aus dem Bereich Formale Methoden und ihre AnwendungenNo ratings for this module yet.Formal Methods and their ApplicationsYou engage with current topics from the area of Formal Methods and their application. In the end you know the research and development state in selected subfields and you can deal with current research projects and results.5 ECTSruns this semesterIN3350Automata and Formal LanguagesNo ratings for this module yet.Formal Methods and their ApplicationsYou learn how different classes of automata (finite, deterministic, nondeterministic, Büchi automata) are used as data structures for the representation and manipulation of (also infinite) sets and relations. You practice building and composing automata, automatic operations (e.g., boolean operations, joins) and the connection between automata and logic as well as their application in pattern matching, program verification and in problems such as Diophantine equations.8 ECTSruns this semesterIN2041Games on GraphsNo ratings for this module yet.Formal Methods and their ApplicationsYou will learn the theory of games on finite graphs. Building on reachability games, both qualitative and quantitative variants are treated, and in the end you will be able to apply the fundamental solution methods and solve smaller game instances on your own.5 ECTSruns this semesterIN2296ProgrammoptimierungNo ratings for this module yet.Formal Methods and their ApplicationsYou will learn methods and analyses to improve the runtime efficiency of programs. The module covers data-flow analyses, fixed-point calculations and optimizing transformations, as well as hardware-near techniques such as register allocation, instruction selection and scheduling. In the end you will be able to apply analyses to small programs and develop optimizations.8 ECTSruns this semesterIN2053
10 more in Cross-Cutting Elective ModulesAutomaten und formale Sprachen IINo ratings for this module yet.Formal Methods and their ApplicationsYou study advanced topics of automata theory, e.g. tree automata, weighted automata and automata for the verification of infinite state spaces. In the end you will be able to choose appropriate automata models, construct automata and apply automata-theoretic techniques to problems such as text analysis or program verification.5 ECTSno date this semesterIN2042Compilerbau INo ratings for this module yet.Formal Methods and their ApplicationsYou learn how compilers are built and how they translate programs from a higher programming language into machine instructions. In the end you will be able to explain the core components frontend, middleend and backend and implement a simple compiler for a small language and target architecture.5 ECTSno date this semesterIN2227Gleichungslogik und Lambda-KalkülNo ratings for this module yet.Formal Methods and their ApplicationsYou learn the fundamentals of equation logic, term rewriting systems and untyped as well as typed lambda calculus. In the end you will be able to apply semantics and proof systems of equation logic, analyze term rewrites for correctness (termination, confluence) and program and type lambda terms as well.8 ECTSno date this semesterIN2048Lambda CalculusNo ratings for this module yet.Formal Methods and their ApplicationsYou learn the fundamentals of the lambda calculus as a model of programming languages. First you treat untyped lambda calculus, its reduction rules, evaluation strategies (e.g., call-by-value, call-by-name) and its Turing completeness. In the second part you learn typed lambda calculi, common type systems in functional languages and the connection between types and logic (Curry–Howard). In the end you can use lambda terms, translate them and prove their properties.5 ECTSno date this semesterIN2358LogikNo ratings for this module yet.Formal Methods and their ApplicationsYou learn the basics of propositional and predicate logic: syntax, semantics and formal proof systems. In the end you will be able to conduct proofs in deductive systems, demonstrate soundness and completeness, formalize problems and apply simple decision or semi-decision procedures such as resolution.8 ECTSno date this semesterIN2049Model CheckingNo ratings for this module yet.Formal Methods and their ApplicationsYou will learn how to describe hardware and software systems with formal models and how to automatically verify these models using model checking methods to determine whether they satisfy desired properties. In the end you will be able to model simple systems, formulate properties in temporal logic, and explain basic model-checking algorithms as well as strategies against the state-space explosion problem and apply them to small examples.8 ECTSno date this semesterIN2050PetrinetzeNo ratings for this module yet.Formal Methods and their ApplicationsYou will become acquainted with Petri nets as a formal model for describing and analyzing concurrent systems. In the end you will be able to model simple systems with Petri nets, analyze small nets by hand, and select suitable automatic analysis techniques and software tools for larger nets to assess behavior and properties.5 ECTSno date this semesterIN2052Quantitative VerificationNo ratings for this module yet.Formal Methods and their ApplicationsYou will learn how to formally model and analyze systems with quantitative aspects (e.g., time, probabilities). In the end you will be able to apply suitable model classes and specification languages, explain analysis algorithms and apply them to small examples practically, as well as use model checking tools.5 ECTSno date this semesterIN2340SemanticsNo ratings for this module yet.Formal Methods and their ApplicationsYou learn formal techniques for describing and analyzing the semantics of programming languages. In the end you will be able to understand and apply different semantics styles (operational, denotational, axiomatic) as well as define semantics for language constructs and prove properties such as type safety.8 ECTSno date this semesterIN2055Virtuelle MaschinenNo ratings for this module yet.Formal Methods and their ApplicationsYou learn how programs in different languages are mapped to code for idealized (virtual) machines via translation schemes. In the end you will be able to generate machine commands for excerpts of programs and develop translation schemes for given language constructs.6 ECTSno date this semesterIN2040
1 more module matches, but it is taught in German. Show itNetzwerkanalyse - statistische und formale Modelle und MethodenNo ratings for this module yet.Formal Methods and their ApplicationsDu lernst, wie man Systeme durch Modelle beschreibt, zeitdiskrete Simulationen aufbaut und simulativ untersucht. Am Ende kannst du Simulationsmodelle entwerfen, Zufallszahlen und Verteilungen einsetzen sowie Leistung und Zeitverhalten von Systemen messen und auswerten.5 ECTSno date this semesterIN2045