Software Verification and Validation Research Lab