Publication | Closed Access

Logic programming environments: Dynamic program analysis and debugging

EngineeringAutomated ReasoningProgram AnalysisSoftware TestingDynamic Program AnalysisFormal MethodsDynamic LogicSoftware EngineeringComputer ScienceDebuggerSoftware AnalysisSymbolic ExecutionFormal Verification