Affiliations: Department of Computer and Information Science (DISI), Università degli Studi di Genova, Genova,Italy
Note: [] Corresponding author. Viviana Mascardi, Department of Computer and Information Science (DISI), Università degli Studi di Genova, via Dodecaneso 35, 16146 Genova, Italy. E-mail: [email protected].
Abstract: Computational Logic plays a very relevant role in engineering complex systems. It can be used to specify systems at different levels of abstraction. The specifications are executable, thus providing a working prototype for free. Thanks to its well-founded semantics it can be used to reason about the correctness of the specifications, a fundamental aspect when safety critical applications are developed. Researchers working in the Logic Programming Group at DISI, a Genova University Department, have applied methods and tools of Computational Logic for modelling, prototyping, and verifying complex systems. These three research lines are largely overlapping: the complex systems we take into account are often multiagent systems, for which we propose modelling languages as well as prototyping environments and verification techniques. In this paper we describe activities that, in the last decade, we carried out along these research lines.
