Publication | Closed Access
Program analysis as constraint solving
200
Citations
21
References
2008
Year
Unknown Venue
Mathematical ProgrammingEngineeringVerificationSoftware EngineeringSoftware AnalysisFormal VerificationConstraint ProgrammingConstraint SolvingSystems EngineeringProgram TransformationProgram DerivationComputer ScienceSoftware DesignProgram AnalysisAutomated ReasoningFormal MethodsProgram SynthesisOff-the-shelf Constraint SolversDesired Program InvariantsConstraint-based Approach
A constraint-based approach to invariant generation in programs translates a program into constraints that are solved using off-the-shelf constraint solvers to yield desired program invariants.
| Year | Citations | |
|---|---|---|
Page 1
Page 1