In this paper, we shall treat this issue through the Event-B formal method. We illustrate the contribution of the static analysis tools associated with Event-B ...

Verification and validation of PDDL descriptions using Event-B formal method. Farah Fourati*. Faculty of Sciences of Sfax,. University of Sfax,. Tunisia. E-mail ...

A rigorous approach is recommended coupling Event-B and PDDL favoring obtaining PDDL descriptions deemed correct, a priori, from an ultimate Event-Bs model.

The formal Event-B method makes it possible to obtain systems or software correct by construction. The modeling activity aims to establish formal models in ...

The general purpose formal method called Event-B is the latest incarnation of the B Method: it is a proof-based approach with a formal notation and refinement ...

Inproceedings,. Verification and validation of PDDL descriptions using Event-B formal method. F. Fourati, M. Bhiri, ...

The Event-B formal method supports three activities: formal modeling, formal proof and formal validation. It is a model-oriented method based on a ...

A proven Event-B model is not necessarily valid. We propose to open the Event-B formal method on PDDL in order to further validate Event-B models. We aim to ...

Jan 1, 2022 · The formal Event-B method makes it possible to obtain systems or software correct by construction. The modeling activity aims to establish ...

Jan 4, 2024 · PDDL, or the Planning Domain Definition Language, is a formal language used in artificial intelligence for specifying planning and scheduling problems.