Publications
Context-driven research to solve real-world software engineering challenges
SVV conducts research in automated testing, as well as requirement engineering, design-time and runtime verification, security analysis and testing, and regulatory compliance to create reliable, scalable solutions to real-world challenges. Current fields of application include space, FinTech, legal, automotive, and e-government.