Our tools
Our research involves a lot of experimental evoluation. For that we develop different tools, which can be used by other researchers as well.
| OpenSMT | - a compact and open-source SMT-solver written in C++. |
| LoopFrog | - a loop summarization based static analyzer for C programs. |
| Synergy | - a tool to compare effectiveness of abstraction techniques in verification of ANSI-C programs. |
| Boppo | - a model checker for Boolean programs. |
| SATABS | - a verification tool for ANSI-C and C++ programs. |
The research of the Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation and EU-COST initiative.
