Formal Verification and Security Lab

Home
People
Research
Publications
Tools
Teaching
Funded projects
Semester projects

Overview
SAFARI

You are here

Home » Research » AIDAS » SAFARI » Acknowledgements

Acknowledgements

Related tools

MCMT

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