Automated Software Verification and Validation
Transportation, financial services, industrial production, modern society heavily depends on software. At the Interdisciplinary Centre for Security, Reliability and Trust (SnT) of the University of Luxembourg experts are working on automating the validation and verification of crucial software systems.
https://www.uni.lu/snt/research/softw...