We present P ro B, a validation toolset for the B method. P ro B's automated animation
facilities allow users to gain confidence in their specifications. P ro B also contains a model …

The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog
systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this …

Vulnerability analysis is concerned with the problem of identifying weaknesses in computer
systems that can be exploited to compromise their security. In this paper we describe a new …

In this paper, bounded model checking of asynchronous concurrent systems is introduced
as a promising application area for answer set programming. As the model of asynchronous …

We present a lightweight, automated tool for specification-based testing of declarative
programs written in the functional logic programming language Curry and emphasize the …

Tabling has emerged as an important evaluation technique in logic programming. Currently,
changes to a program (due to addition/deletion of rules/facts) after query evaluation …

A new approach for ensuring the security of mobile code is proposed. Our approach enables
a mobile-code consumer to understand and formally reason about what a piece of mobile …

Logic programming languages, such as Prolog, provide a high-level, declarative approach
to programming. Logic Programming offers great potential for implicit parallelism, thus …

Refinement is a key concept in the B-Method. While refinement is at the heart of the B
Method, so far no automatic refinement checker has been developed for it. In this paper we …

We employ the narrowing-based execution mechanism of the functional logic programming
language Curry in order to automatically generate a system of test cases for glass-box …