Publications
] Reachability Analysis for Multiloop Programs Using Transition Power Abstraction,
, FM 24, 09/2024, (2024)
Resolution Proof Transformation for Compression and Interpolation,
, CoRR, Volume July 2013, (2013)
Formal Verification and Security Lab
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
