Formal Verification and Security Lab

Home
People
Research
Publications
Tools
Teaching
Funded projects
PhD Dissertations
Talks

You are here

Home » VERIGE

VERIGE

See VERIGE webpage at http://atelier.inf.usi.ch/~latorren/verige/home.html

The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.