You are here

Publications

Export 5 results:
Filters: Keyword is Inductive Verification and Author is Giorgio Levi  [Clear All Filters]
2003
M. Comini, Gori, R., Levi, G., and Volpe, P., Abstract Interpretation based Verification of Logic Programs, Science of Computer Programming, vol. 49, pp. 89–123, 2003.
2001
M. Comini, Gori, R., and Levi, G., Assertion based Inductive Verification Methods for Logic Programs, Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 2001.
M. Comini, Gori, R., and Levi, G., How to Transform an Analyzer into a Verifier, Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.
M. Comini, Gori, R., and Levi, G., Logic programs as specifications in the inductive verification of logic programs, Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 2001.
1996
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Proving properties of Logic Programs by Abstract Diagnosis, Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.