Publication | Closed Access

A mechanism for exception handling and its verification rules

Program CheckingEngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerificationFormal MethodsSoftware AnalysisFormal TechniqueComputer ScienceFormal VerificationSoftware VerificationException Handling