Description
systems, their analysis and verification.
The students learn how to model cyber-physical systems as transition
systems. Here, the main focus lies on software and hardware aspects of cyber-physical systems and on methods for modeling parallelism and communication.
Moreover, the students learn how to express properties of such systems. The course covers different mechanisms to specify temporal properties including linear time properties and branching time properties using logical formalisms such as LTL, CTL, and CTL*.
Finally, the course demonstrates how to develop algorithms for checking whether these properties hold.
General Information
Announcements
The teaching staff has posted a new lecture notes resource.
Title: Content for Exam / Suggestions for Presentations
https://docs.google.com/document/d/19k4dMBSOJYiqiukSGTD7wcyMJ5EgIsNRWM3jleKckvE/edit?usp=sharing
You may add comments & questions to that document.
You can view it on the course page: https://piazza.com/uni-freiburg.de/winter2014/11le13vid120948/resources
The teaching staff has posted a new exercises resource.
Title: Ex14
http://www.piazza.com/class_profile/get_resource/hlnt0aijnn55s/hrc1pgoraxl5q3
Due date: Feb 13, 2014
You can view it on the course page: https://piazza.com/uni-freiburg.de/winter2014/11le13vid120948/resources
The teaching staff has posted a new lecture notes resource.
Title: slides20140203.enc.pdf
http://www.piazza.com/class_profile/get_resource/hlnt0aijnn55s/hrbr93l15iu73r
Lecture date: Feb 6, 2014
You can view it on the course page: https://piazza.com/uni-freiburg.de/winter2014/11le13vid120948/resources
The teaching staff has posted a new lecture notes resource.
Title: basicfixpointtheory.pdf
http://www.piazza.com/class_profile/get_resource/hlnt0aijnn55s/hr7kek9vkdv3dt
This is the handout for the lecture on fixpoints on Jan 30, 2014.
You can view it on the course page: https://piazza.com/uni-freiburg.de/winter2014/11le13vid120948/resources
The teaching staff has posted a new exercises resource.
Title: Ex13
http://www.piazza.com/class_profile/get_resource/hlnt0aijnn55s/hr24la7s9dz1t3
Due date: Feb 6, 2014
You can view it on the course page: https://piazza.com/uni-freiburg.de/winter2014/11le13vid120948/resources
The teaching staff has posted a new exercises resource.
Title: Ex11
http://www.piazza.com/class_profile/get_resource/hlnt0aijnn55s/hqi0gejdcoi2s0
Due date: Jan 23, 2014
You can view it on the course page: https://piazza.com/uni-freiburg.de/winter2014/11le13vid120948/resources
Lecture starts at 12:30 on Thursdays!
The teaching staff has posted a new lecture notes resource.
Title: slides20140116.enc.pdf
http://www.piazza.com/class_profile/get_resource/hlnt0aijnn55s/hqh3vzn62g02jh
Lecture date: Jan 16, 2014
You can view it on the course page: https://piazza.com/uni-freiburg.de/winter2014/11le13vid120948/resources
| Name | Office Hours | |
|---|---|---|
Robert Jakob | When? Where? | |
Manuel Geffken | When? Where? | |
Peter Thiemann | When? Where? |