Search Site
only in current section
Advanced Search…
Home
Quick Access
Team
Andreas Podelski
Daniel Dietsch
Matthias Heizmann
Jochen Hoenicke
Bernd Westphal
Anna Liolios-Zimmermann
Marlis Jost
Martin Preen
Andreas Dereani
Sergio Feo-Arenis
Marius Greitschus
Dominik Klumpp
Vincent Langenfeld
Alexander Nutz
Christian Reuter
Tanja Schindler
Rebecca Albrecht
visual_impedance_model
Stephan Arlt
Jelena Barth
Bruno Berstel-Da Silva
Sergiy Bogomolov
Berit Brauer
Jürgen Christ
Evren Ermis
Harald Fecher
Christian Herrera
resources
Jan Leike
Stefan Maus
Corina Mitrohin
Tobias Morciniec
Marco Muniz
Amalinda Post
Martin Schäf
Christian Schilling
Mohammed Nassim Seghir
Martin Wehrle
Teaching
Student Projects and Thesis Topics
Available
In progress
Finished
Winter Term 2019/20
Cyber-Physical Systems I - Discrete Models (Lecture)
Decision Procedures (Lecture)
Programmanalyse (Proseminar)
Automata Theory (Seminar)
Summer Term 2019
Softwaretechnik / Software Engineering (Lecture)
Program Verification (Lecture)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Winter Term 2018/19
Informatik III (Lecture)
Cyber-Physical Systems I - Discrete Models (Lecture)
Automata Theory (Seminar)
Program Analysis (Seminar)
Programmanalyse (Proseminar)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Summer Term 2018
Softwaretechnik / Software Engineering (Lecture)
Decision Procedures (Lecture)
Slides
Quantifier-free Theory of Rationals
Program Verification (Lecture)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Automata Theory (Seminar, Proseminar)
Program Analysis (Seminar)
Winter Term 2017/18
Informatik III (Lecture)
Real-Time Systems (Lecture)
Cyber-Physical Systems I - Discrete Models (Lecture)
Automata Theory (Seminar, Proseminar)
Program Analysis & Software Testing (Seminar)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Summer Term 2017
Softwaretechnik / Software Engineering (Lecture)
Program Verification (Lecture)
Formal Methods for Java (Lecture)
Cyber-Physical Systems - Hybrid Models (Lecture)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Automata Theory (Seminar, Proseminar)
Program Analysis & Software Testing (Seminar)
Winter Term 2016/17
Cyber-Physical Systems I - Discrete Models (Lecture)
Decision Procedures (Lecture)
Software Design, Modelling, and Analysis in UML (Lecture)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Automata Theory (Seminar, Proseminar)
Program Analysis & Software Testing (Seminar)
Advanced Topics in Requirements Engineering (Seminar)
Summer Term 2016
Softwaretechnik / Software Engineering (Lecture)
Cyber-Physical Systems - Hybrid Models (Lecture)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Automata Theory (Seminar, Proseminar)
Program Analysis & Software Testing (Seminar)
Winter Term 2015/16
Decision Procedures (Lecture)
Software Design, Modelling, and Analysis in UML (Lecture)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Automata Theory (Seminar, Proseminar)
Program Analysis & Software Testing (Seminar)
Summer Term 2015
Softwaretechnik / Software Engineering (Lecture)
Automata Theory (Seminar, Proseminar)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Program Analysis (Seminar)
Winter Term 2014/2015
Software Design, Modelling, and Analysis in UML (Lecture)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Informatik III
Automatentheorie (Proseminar)
Summer Term 2014
Real-Time Systems (Lecture)
Einführung in die Informatik (Vorlesung)
Automata Theory (Seminar)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Seminar Formal Methods for C
Computer Science Theory (Bridging Course) (Tutorial)
Winter Term 2013/2014
Informatik III
Computer Supported Modeling and Reasoning
Software Design, Modelling, and Analysis in UML (Lecture)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Software Testing (Seminar)
Design and Analysis of Cyber Physical Systems (Seminar)
Static Code Analysis (Seminar)
Summer Term 2013
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Decision Procedures (Lecture)
Real-Time Systems (Lecture)
Seminar Automata Theory
Seminar Hybrid Systems
Proseminar Topics in Software Engineering
Seminar Advanced Topics in Software Engineering
Seminar Advanced Topics in Requirements Engineering
Cyber-Physical Systems - Hybrid Models
Winter Term 2012/2013
Cyber-Physical Systems I - Model Checking (Lecture)
Formal Methods for Java (Lecture)
Software Design, Modelling, and Analysis in UML (Lecture)
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Testverfahren für Softwaretechnik (Proseminar)
Software Testing (Seminar)
Design and Analysis of Cyber Physical Systems (Seminar)
Summer Term 2012
Theory I
Real-Time Systems (Lecture)
Automata Theory
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Cyber-Physical Systems - Hybrid Models
Seminar Hybrid Systems
Seminar / Proseminar (Advanced) Topics in Requirements Engineering
Model-based Testing and Analysis
Decision Procedures
Winter Term 2011/2012
Program Verification
Formal Methods for Java
Software Design, Modelling, and Analysis in UML
Static Code Analysis
Software Testing
Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE)
Design and Anaylsis of Cyber Physical Systems
Tools
Ultimate
SMTInterpol
Gazoo
Hybrid systems
Abstraction-based Parameter Synthesis for Multiaffine Systems
Assume-Guarantee Abstraction Refinement in SpaceEx
Benchmark Generator for Stratified Controllers of Tank Networks
Direction Refinement Framework
FMI Co-Simulation
Guided Model Checking for Hybrid Systems
Hybrid automata: from verification to implementation
ACSAR
AMTV
Bohne
Exorcise
MCTA
Projects
AVACS
Salomo
Verisoft XT
Graduiertenkolleg
Case Study Repository
Quasi-Dependent Variables
Quasi-equal Clocks Reduction
Wireless Fire Alarm System
Research Data Base
Publications
Theses
Projects
Service
Gallery
Contact
Team
Teaching
Student Projects and Thesis Topics
Winter Term 2019/20
Summer Term 2019
Winter Term 2018/19
Summer Term 2018
Softwaretechnik / Software Engineering (Lecture)
Decision Procedures (Lecture)
Program Verification (Lecture)
Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE)
Automata Theory (Seminar, Proseminar)
Program Analysis (Seminar)
Winter Term 2017/18
Summer Term 2017
Winter Term 2016/17
Summer Term 2016
Winter Term 2015/16
Summer Term 2015
Winter Term 2014/2015
Summer Term 2014
Winter Term 2013/2014
Summer Term 2013
Winter Term 2012/2013
Summer Term 2012
Winter Term 2011/2012
Tools
Projects
Research Data Base
Service
Gallery
Contact
«
December 2019
»
December
Mo
Tu
We
Th
Fr
Sa
Su
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Software Engineering
University of Freiburg
You are here:
Home
›
Teaching
›
Summer Term 2018
›
Decision Procedures (Lecture)
›
Slides
›
Quantifier-free Theory of Rationals
Document Actions
Print this
Info
Quantifier-free Theory of Rationals
Dutertre-de Moura algorithm
simplex.pdf
— PDF document, 235Kb
Personal tools
Log in