Technische Universität Braunschweig
  • Study & Teaching
    • Beginning your Studies
      • Prospective Students
      • Degree Programmes
      • Application
      • Fit4TU
      • Why Braunschweig?
    • During your Studies
      • Fresher's Hub
      • Term Dates
      • Courses
      • Practical Information
      • Beratungsnavi
      • Additional Qualifications
      • Financing and Costs
      • Special Circumstances
      • Health and Well-being
      • Campus life
    • At the End of your Studies
      • Discontinuation and Credentials Certification
      • After graduation
      • Alumni
    • For Teaching Staff
      • Strategy, Offers and Information
      • Learning Management System Stud.IP
    • Contact
      • Study Service Centre
      • Academic Advice Service
      • Student Office
      • Career Service
  • Research
    • Research Profile
      • Core Research Areas
      • Clusters of Excellence at TU Braunschweig
      • Research Projects
      • Research Centres
      • Professors‘ Research Profiles
    • Early Career Researchers
      • Support in the early stages of an academic career
      • PhD-Students
      • Postdocs
      • Junior research group leaders
      • Junior Professorship and Tenure-Track
      • Habilitation
      • Service Offers for Scientists
    • Research Data & Transparency
      • Transparency in Research
      • Research Data
      • Open Access Strategy
      • Digital Research Announcement
    • Research Funding
      • Research Funding Network
      • Research funding
    • Contact
      • Research Services
      • Academy for Graduates
  • International
    • International Students
      • Why Braunschweig?
      • Degree seeking students
      • Exchange Studies
      • TU Braunschweig Summer School
      • Refugees
      • International Student Support
      • International Career Service
    • Going Abroad
      • Studying abroad
      • Internships abroad
      • Teaching and research abroad
      • Working abroad
    • International Researchers
      • Welcome Support for International Researchers
      • Service for Host Institutes
    • Language and intercultural competence training
      • Learning German
      • Learning Foreign Languages
      • Intercultural Communication
    • International Profile
      • Internationalisation
      • International Cooperations
      • Strategic partnerships
      • International networks
    • International House
      • About us
      • Contact & Office Hours
      • News and Events
      • International Days
      • 5th Student Conference: Internationalisation of Higher Education
      • Newsletter, Podcast & Videos
      • Job Advertisements
  • TU Braunschweig
    • Our Profile
      • Aims & Values
      • Regulations and Guidelines
      • Alliances & Partners
      • The University Development Initiative 2030
      • Facts & Figures
      • Our History
    • Career
      • Working at TU Braunschweig
      • Vacancies
    • Economy & Business
      • Entrepreneurship
      • Friends & Supporters
    • General Public
      • Check-in for Students
      • CampusXperience
      • The Student House
      • Access to the University Library
    • Media Services
      • Communications and Press Service
      • Services for media
      • Film and photo permits
      • Advices for scientists
      • Topics and stories
    • Contact
      • General Contact
      • Getting here
  • Organisation
    • Presidency & Administration
      • Executive Board
      • Designated Offices
      • Administration
      • Committees
    • Faculties
      • Carl-Friedrich-Gauß-Fakultät
      • Faculty of Life Sciences
      • Faculty of Architecture, Civil Engineering and Environmental Sciences
      • Faculty of Mechanical Engineering
      • Faculty of Electrical Engineering, Information Technology, Physics
      • Faculty of Humanities and Education
    • Institutes
      • Institutes from A to Z
    • Facilities
      • University Library
      • Gauß-IT-Zentrum
      • Professional and Personnel Development
      • International House
      • The Project House of the TU Braunschweig
      • Transfer Service
      • University Sports Center
      • Facilities from A to Z
    • Equal Opportunity Office
      • Equal Opportunity Office
      • Family
      • Diversity for Students
  • Search
  • Quicklinks
    • People Search
    • Webmail
    • cloud.TU Braunschweig
    • Messenger
    • Cafeteria
    • Courses
    • Stud.IP
    • Library Catalogue
    • IT Services
    • Information Portal (employees)
    • Link Collection
    • DE
    • EN
    • Instagram
    • YouTube
    • LinkedIn
    • Mastodon
    • Bluesky
Menu
  • Organisation
  • Faculties
  • Carl-Friedrich-Gauß-Fakultät
  • Institutes
  • Institute of Software Engineering and Automotive Informatics
  • Teaching
Logo Institut für Softwaretechnik und Fahrzeuginformatik der TU Braunschweig

Software Quality 2

Important!

Software Quality 1 is not a necessary prerequisiste for this lecture!

Organization

Lecturer: Prof. Dr. Ina Schaefer
Assistant: Tabea Bordis, M.Sc.

Module number: INF-SSE-38
Lecture number: INF-SSE-050 / INF-SSE-051

Dates

  • Lecture: Friday, 13:15 - 14:45
  • Tutorial: Thursday, 9:45 - 11:15

Content

Formal methods describe methods for system-design or system analysis and implementations techniques described by mathematical precision. The goal is to construct systems, which behave according to their specification with a high reliability. This course introduces, both theoretically and practically, the two most important types of formal methods for the analysis of programs: software model checking and deductive verification.

The course addresses the following topics:

  • Design by Contract with JML
  • Runtime Assertion Checking
  • Software Model Checking
  • First-Order and Dynamic Logic
  • Deductive Verification
  • Behavioral Subtyping
  • Construction of Programs Correct-by-Construction

Lecture documents

The lecture Software Quality 2 will be held completely online this semester. You will be able to download the lecture materials in Stud.IP. Please enroll yourself in the Stud.IP course and the tutorial Software Quality 2. You are not allowed to publicly release any of the given material.

For the lecture, we will upload slides and video casts of the lecture.

For the tutorial, we will upload exercise sheets with exercises for a distinct topic of the lecture. Some of the exercises, can only be solved on a computer. If tools are required for any exercise, you will find all the information on the exercise sheet.

There will be live-sessions in StudIP for every lecture and tutorial on the dates mentioned earlier. In these live-sessions, the students can ask questions and the solutions for the exercise sheets of the tutorial will be presented. We encourage active participation in these sessions. We are not allowed to record and upload the live-sessions afterwards!

Exam

There will be an oral exam with a duration of 30 minutes.

 

Timetable

Day Date Type Topic
Friday 29.10.21 1. Lecture Introduction
Thursday 04.11.21 1. Exercise Introduction
Friday 05.11.21 2. Lecture Design-by-Contract mit JML
Thursday 11.11.21 2. Exercise Design-by-Contract mit JML
Friday 12.11.21 3. Lecture Advanced Specification with JML
Thursday 18.11.21 3. Exercise Advanced Specification with JML
Friday 19.11.21 4. Lecture Testing with JML
Thursday 25.11.21 4. Exercise Testing with JML
Friday 26.11.21 5. Lecture Software Model Checking with JPF
Thursday 02.12.21 5. Exercise Software Model Checking with JPF
Friday 03.12.21 6. Lecture First-Order Logic
Thursday 09.12.21 6. Exercise First-Order Logic
Friday 10.12.21 7. Lecture Sequent Calculus
Thursday 16.12.21 7. Exercise Sequent Calculus
Friday 17.12.21 8. Lecture Dynamic Logic
Thursday 13.01.22 8. Exercise Dynamic Logic
Friday 14.01.22 9. Lecture Deductive Verification with KeY
Thursday 20.01.22 9. Exercise Deductive Verification with KeY
Friday 21.01.22 10. Lecture Loops, Method Calls, and Inheritance
Thursday 27.01.22 10. Exercise Loops, Method Calls, and Inheritance
Friday 28.01.22 11. Lecture Correctness-by-Construction
Thursday 03.02.22 11. Exercise Correctness-by-Construction
Friday 04.02.22 12. Lecture Mutation Analysis (Alexander Knüppel) & Recap
Photo credits on this page

For All Visitors

Vacancies of TU Braunschweig
Career Service' Job Exchange 
Merchandising

For Students

Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard

Internal Tools

Glossary (GER-EN)
Change your Personal Data

Contact

Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig

P. O. Box: 38092 Braunschweig
GERMANY

Phone: +49 (0) 531 391-0

Getting here

© Technische Universität Braunschweig
Legal Notice Privacy Accessibility

TU Braunschweig uses the software Matomo for anonymised web analysis. The data serve to optimise the web offer.
You can find more information in our data protection declaration.