Symbolic shape analysis

@inproceedings{Wies2009SymbolicSA,
  title={Symbolic shape analysis},
  author={Thomas Wies},
  year={2009}
}
The goal of program verification is to ensure software reliability by establishing a mathematical proof which guarantees that the software behaves correctly. Program analysis tools assist the developer in the verification process. Ideally a program analysis should be applicable to a wide range of verification problems without imposing a high burden on its users, i.e., without requiring deep mathematical knowledge and experience in program verification. A big step forward towards this ideal has… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…