Local
Global
No results
Quick Links
University
Studies
Campus
Research
University
Continuing education
Faculties
Theology
Law
Management, Economics and Social sciences
Humanities
Education
Science and Medicine
Interfaculty
You are
Prospective students
Students
Medias
Researchers
Employees
PhD students
Ressources
Directory
Maps/Orientation
Libraries
Webmail
Course catalogue
MyUnifr
EN
Interfaculty
Interfaculty
Informatics
Informatics
Foundations of Dependable Systems Group
Foundations of Dependable Systems Group
Local
Global
No results
EN
EN
University of Fribourg
Foundations of Dependable Systems Group
Home
Group
Back
Profile
Team
Contact
Teaching
Back
Bachelor courses
Master courses
Theses
Research
Back
Research topics
Back
Automata Theory
Model Checking
Automated Theorem Proving
Projects
Back
Analyzing Büchi Automata with Graph Neural Networks
Verification of programs written in assembly language using automated theorem provers
Teaching
Teaching
Teaching
Bachelor courses
Master courses
Theses
Teaching
Bachelor courses
Master courses
Thesis