Publication | Closed Access

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

Program CheckingEngineeringProgram AnalysisSoftware TestingVerificationRelative SafetyFormal MethodsSoftware AnalysisComputer-aided VerificationComputer ScienceFormal VerificationSoftware Verification