Location & approach

By car

The campus of TU Dortmund University is located close to interstate junction Dortmund West, where the Sauerlandlinie A 45 (Frankfurt-Dortmund) crosses the Ruhrschnellweg B 1 / A 40. The best interstate exit to take from A 45 is “Dortmund-Eichlinghofen” (closer to South Campus), and from B 1 / A 40 “Dortmund-Dorstfeld” (closer to North Campus). Signs for the university are located at both exits. Also, there is a new exit before you pass over the B 1-bridge leading into Dortmund.

To get from North Campus to South Campus by car, there is the connection via Vogelpothsweg/Baroper Straße. We recommend you leave your car on one of the parking lots at North Campus and use the H-Bahn (suspended monorail system), which conveniently connects the two campuses.

By train

TU Dortmund University has its own train station (“Dortmund Universität”). From there, suburban trains (S-Bahn) leave for Dortmund main station (“Dortmund Hauptbahnhof”) and Düsseldorf main station via the “Düsseldorf Airport Train Station” (take S-Bahn number 1, which leaves every 15 or 30 minutes). The university is easily reached from Bochum, Essen, Mülheim an der Ruhr and Duisburg.

You can also take the bus or subway train from Dortmund city to the university: From Dortmund main station, you can take any train bound for the Station “Stadtgarten”, usually lines U41, U45, U 47 and U49. At “Stadtgarten” you switch trains and get on line U42 towards “Hombruch”. Look out for the Station “An der Palmweide”. From the bus stop just across the road, busses bound for TU Dortmund University leave every ten minutes (445, 447 and 462). Another option is to take the subway routes U41, U45, U47 and U49 from Dortmund main station to the stop “Dortmund Kampstraße”. From there, take U43 or U44 to the stop “Dortmund Wittener Straße”. Switch to bus line 447 and get off at “Dortmund Universität S”.

By plane

The AirportExpress is a fast and convenient means of transport from Dortmund Airport (DTM) to Dortmund Central Station, taking you there in little more than 20 minutes. From Dortmund Central Station, you can continue to the university campus by interurban railway (S-Bahn). A larger range of international flight connections is offered at Düsseldorf Airport (DUS), which is about 60 kilometres away and can be directly reached by S-Bahn from the university station.

The H-Bahn (Suspended Monorail System)

The H-Bahn is one of the hallmarks of TU Dortmund University. There are two stations on North Campus. One (“Dortmund Universität S”) is directly located at the suburban train stop, which connects the university directly with the city of Dortmund and the rest of the Ruhr Area. Also from this station, there are connections to the “Technologiepark” and (via South Campus) Eichlinghofen. The other station is located at the dining hall at North Campus and offers a direct connection to South Campus every five minutes.

Map

The facilities of TU Dortmund University are spread over two campuses, the larger Campus North and the smaller Campus South. Additionally, some areas of the university are located in the adjacent “Technologiepark”.

Site Map of TU Dortmund University (Second Page in English).

ServicePortal UniMail

Contrast

Location & approach

By car

The campus of TU Dortmund University is located close to interstate junction Dortmund West, where the Sauerlandlinie A 45 (Frankfurt-Dortmund) crosses the Ruhrschnellweg B 1 / A 40. The best interstate exit to take from A 45 is “Dortmund-Eichlinghofen” (closer to South Campus), and from B 1 / A 40 “Dortmund-Dorstfeld” (closer to North Campus). Signs for the university are located at both exits. Also, there is a new exit before you pass over the B 1-bridge leading into Dortmund.

To get from North Campus to South Campus by car, there is the connection via Vogelpothsweg/Baroper Straße. We recommend you leave your car on one of the parking lots at North Campus and use the H-Bahn (suspended monorail system), which conveniently connects the two campuses.

By train

TU Dortmund University has its own train station (“Dortmund Universität”). From there, suburban trains (S-Bahn) leave for Dortmund main station (“Dortmund Hauptbahnhof”) and Düsseldorf main station via the “Düsseldorf Airport Train Station” (take S-Bahn number 1, which leaves every 15 or 30 minutes). The university is easily reached from Bochum, Essen, Mülheim an der Ruhr and Duisburg.

You can also take the bus or subway train from Dortmund city to the university: From Dortmund main station, you can take any train bound for the Station “Stadtgarten”, usually lines U41, U45, U 47 and U49. At “Stadtgarten” you switch trains and get on line U42 towards “Hombruch”. Look out for the Station “An der Palmweide”. From the bus stop just across the road, busses bound for TU Dortmund University leave every ten minutes (445, 447 and 462). Another option is to take the subway routes U41, U45, U47 and U49 from Dortmund main station to the stop “Dortmund Kampstraße”. From there, take U43 or U44 to the stop “Dortmund Wittener Straße”. Switch to bus line 447 and get off at “Dortmund Universität S”.

By plane

The AirportExpress is a fast and convenient means of transport from Dortmund Airport (DTM) to Dortmund Central Station, taking you there in little more than 20 minutes. From Dortmund Central Station, you can continue to the university campus by interurban railway (S-Bahn). A larger range of international flight connections is offered at Düsseldorf Airport (DUS), which is about 60 kilometres away and can be directly reached by S-Bahn from the university station.

The H-Bahn (Suspended Monorail System)

The H-Bahn is one of the hallmarks of TU Dortmund University. There are two stations on North Campus. One (“Dortmund Universität S”) is directly located at the suburban train stop, which connects the university directly with the city of Dortmund and the rest of the Ruhr Area. Also from this station, there are connections to the “Technologiepark” and (via South Campus) Eichlinghofen. The other station is located at the dining hall at North Campus and offers a direct connection to South Campus every five minutes.

Map

The facilities of TU Dortmund University are spread over two campuses, the larger Campus North and the smaller Campus South. Additionally, some areas of the university are located in the adjacent “Technologiepark”.

Site Map of TU Dortmund University (Second Page in English).

ServicePortal UniMail

Bachelor's module

Proseminar: Software Verification

Module	INF-BSc-110
Type	Proseminar
Credits	3 Credits (Seminar) 1 Credit (Presentation)

Topic
Today, software determines many areas of our daily lives. Some examples that most of us come into contact with on a daily basis are smartphone apps (e.g. for communicating with friends), software in ATMs, POS systems, smartcards and assistance systems in vehicles. For the above examples and many other applications, it is important that software functions correctly. For safety-critical systems, it is often not sufficient to test software: Testing can only reveal errors, but not prove the absence of errors. Instead, formal methods for specification and verification are used.

Software verification proves the correctness of an algorithm with respect to a formal requirement specification. In the proseminar, different approaches to the formal specification of software systems (e.g., automata, transition systems, and process algebras) and requirements for software systems (e.g., temporal logics) as well as methods for formal verification (e.g., model checking, theorem provers) are considered.

Literature / Links

Visser, Havelund, Brat, Park: Model Checking Programs, in Journal Automated Software Engineering, 10(2), 2003. http://swtv.kaist.ac.kr/courses/cs750b-sw-model-checking-fall-06/ase00FinalJournal.pdf
Tinelli: SMT-based model checking, in Formal Techniques Summer School, 2011. http://homepage.cs.uiowa.edu/~tinelli/talks/FT-11.pdf
Susanne Graf and Hassein Saidi. "Construction of abstract state graphs with PVS." In Proceedings of the 9th Conference on Computer-Aided Verification (CAV'97), Haifa, Israel, June 1997.
Robert Floyd. "Assigning Meanings to Programs," in Proceedings of Symposium on Applied Mathematics, Vol. 19, J.T. Schwartz (Ed.), A.M.S., 1967, pp. 19-32.
Formal Methods Wiki http://formalmethods.wikia.com/wiki/Formal_methods

Material
The material (slides, literature, exercises) is provided in the TU Dortmund Moodle. Registration in LSF is mandatory and automatically perfoms enrolment in the Moodle.

Note on the language
The literature for the proseminar will be in English only. Presentations and papers may be in English or German.