Formal Verification and Security Lab

Navigation

Home
People
Research
Tools
Publications
PhD Dissertations
Talks
Teaching
Funded projects
Semester projects

You are here

Home » Research » AIDAS » SAFARI » Download

Download

Overview
SAFARI

Tool

Linux 32bit
Linux 64bit

Configuration file and Benchmarks

SAFE Benchmark
UNSAFE Benchmark

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