Projects - Foundations of Dependable Systems Group


PGA
 – Pretty good  

Janus – The Intelligent Firewall 

Vitels – Virtual Internet and Telecommunications Laboratory of Switzerland 

Verinec – Verified Network Configuration 

E.ProVe (1) – Efficient Property Verification (1) 

E.ProVe(2) – Efficient Property Verification (2)