Publication | Open Access

Deriving descriptions of possible values of program variables by means of abstract interpretation

Formal SpecificationEngineeringProgram AnalysisAutomated ReasoningSoftware TestingProgram VariablesPossible ValuesFormal MethodsSoftware AnalysisSoftware EngineeringProgram TransformationAbstract InterpretationComputer ScienceProgram DerivationFormal VerificationSoftware DesignAbstraction Technique