Publication | Closed Access

Designing a verifying compiler: Lessons learned from developing Whiley

Program CheckingEngineeringProgram AnalysisSoftware TestingVerificationFormal MethodsSoftware AnalysisComputer-aided VerificationComputer ScienceCompilersFormal VerificationSoftware Verification