Formal Methods and Verification Research Group – About us