Skip to content
Logo EPFL, École polytechnique fédérale de Lausanne
  • About
  • Education
  • Research
  • Innovation
  • Schools
  • Campus
Show / hide the search form
Hide the search form
  • EN
  2. IC Networking Systems
  4. Laboratories list
    • About
    • Education
    • Research
    • Innovation
    • Schools
    • Campus
    • Laboratories list
  5. LCA2
  6. Student Projects
    • Team
    • Alumni
    • Teaching
    • Publications
    • Student Projects
  7. Semester
    • Research Projects
    • Semester
    • Master
    • Doctoral School
  8. Available
    • Available
    • Ongoing
    • Completed
    • In limbo
  • About
  • Education
  • Research
  • Innovation
  • Schools
  • Campus

In the same section

  • Available
  • Ongoing
  • Completed
  • In limbo

Available semester projects

Validation of the instability of FIFO networks with cyclic dependencies.

Formal Verification of Real-time Networks with Coq Proof Assistant

  • Who we are
  • Associated Campuses
  • Facts
  • Presidency
  • Vice Presidencies
  • Working at EPFL
  • Recruiting EPFL Talents
  • News & Media
  • Sustainability
  • Equality & Diversity
  • Respect
  • Philanthropy
  • EPFL Alumni
  • Bachelor
  • Master
  • Doctorate
  • Continuing Education
  • International
  • Teaching
  • Admission
  • Study Management
  • Educational Initiatives
  • Education & Science Outreach
  • Research Domains
  • Faculty Members
  • Awards & Prizes
  • Collaborate With Our Researchers
  • EPFL Research Facilities
  • Access Our Technologies
  • Research Ethics
  • Research With Animals
  • Meet the Support Units For Research
  • Services to EPFL Laboratories
  • Open Science
  • Innovation Initiatives
  • Industry Collaboration
  • Startup Launchpad
  • Services & Resources
  • Library
  • Restaurants, Shops & Hotels
  • Security, Prevention & Health
  • Sports
  • Community & Support
  • Chaplaincy
  • Events
  • Arts & Culture
  • Associations
  • Visit EPFL
  • Mobility & Travel
  • School of Architecture, Civil & Environmental Engineering ENAC
  • School of Basic Sciences SB
  • School of Engineering STI
  • School of Computer & Communication Sciences IC
  • School of Life Sciences SV
  • College of Management of Technology CDM
  • College of Humanities CDH

Practical

Services & Resources Emergencies: +41 21 693 3000 Contact Map

Follow EPFL on social media

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
Accessibility Disclaimer Privacy policy

© 2023 EPFL, all rights reserved