In this paper, a method for verifying the equivalence of logic program modules under a Gaifman-Shapiro-style module architecture is proposed. The idea is to adapt a translation-based verification technique, which was originally devised for complete programs only, for program modules. In addition, optimization strategies are addressed in order to exploit the modular structure of programs in verification tasks. A number of experiments on verification strategies are also conducted using Lpeq which implements the verification method for the Smodels system. Preliminary results indicate that at least in certain cases the overall time spent on verification tasks can be reduced through modularization.

@inproceedings{
    OJ07:asp_eoikarin,
    editor = "Costantini, Stefania and Watson, Richard",
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    title = "A Translation-based Approach to the Verification of Modular Equivalence",
    url = "http://www.tcs.hut.fi/~eoikarin/publications.shtml",
    booktitle = "Proceedings of the 4th Workshop on Answer Set Programming; Advances in Theory and Implementation (ASP 2007)",
    year = "2007",
    month = "September",
    flags = "ACPT public",
    pages = "255-269",
    address = "Porto, Portugal",
    abstract = "In this paper, a method for verifying the equivalence of logic program modules under a Gaifman-Shapiro-style module architecture is proposed. The idea is to adapt a translation-based verification technique, which was originally devised for complete programs only, for program modules. In addition, optimization strategies are addressed in order to exploit the modular structure of programs in verification tasks. A number of experiments on verification strategies are also conducted using Lpeq which implements the verification method for the Smodels system. Preliminary results indicate that at least in certain cases the overall time spent on verification tasks can be reduced through modularization."
}

AUTHORS:

ABSTRACT:

URL:
http://www.tcs.hut.fi/~eoikarin/publications.shtml

AUTHORS:

ABSTRACT:

URL: http://www.tcs.hut.fi/~eoikarin/publications.shtml

URL:
http://www.tcs.hut.fi/~eoikarin/publications.shtml