Program Verification Using Automatic Generation of Invariants

@inproceedings{RodrguezCarbonell2004ProgramVU,
  title={Program Verification Using Automatic Generation of Invariants},
  author={Enric Rodr{\'i}guez-Carbonell and Deepak Kapur},
  booktitle={ICTAC},
  year={2004}
}
Highly Cited
This paper has 48 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 31 extracted citations

References

Publications referenced by this paper.

Future Work and Conclusions Plan of the Talk 1. Introduction 2. Invariant Generation 3. Program Verification 4

  • Future Work and Conclusions

Similar Papers

Loading similar papers…