We're pleased to announce the launch of SystemValid, funded by BMBF's VIP+ program and led by Prof. Dr. Andreas Podelski at the University of Freiburg. Stay tuned for updates on our progress.