research
∙
07/28/2022
Trace Refinement in B and Event-B
Traces are used to show whether a model complies with the intended behav...
share
research
∙
05/18/2022
Formalization of Advanced VOs semantics and VO Refinement
This document lays out the foundations for VO and requirement refinement...
research
∙
05/12/2022
IVOIRE Deliverable 1.1: Classification of existing VOs tools and Formalization of VOs semantics
This report discusses the foundations of the VO approach. Then, it explo...
research
∙
05/09/2022
Making ProB compatible with SWI-Prolog
Even though the core of the Prolog programming language has been standar...
research
∙
01/26/2022
Fifty Years of Prolog and Beyond
Both logic programming in general, and Prolog in particular, have a long...
research
∙
02/11/2021
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
Traditionally, practitioners use formal methods pre-dominately for one h...
research
∙
08/28/2020
On the Performance of Bytecode Interpreters in Prolog
The semantics and the recursive execution model of Prolog make it very n...
research
∙
08/07/2020
Prolog for Verification, Analysis and Transformation Tools
This article examines the use of the Prolog language for writing verific...
research
∙
08/31/2016
Knowledge Representation Analysis of Graph Mining
Many problems, especially those with a composite structure, can naturall...
research
∙
08/07/2002
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called "cogen approach" to program specialisation, writing a comp...
research
∙
02/12/2002