2 citations · 3 across the 3 of their papers we have counts for
4 papers
Formal Model Construction Guided by Model-Based Proof Sketches
Hongshu Wang, Xinyue Zuo, Yufan Cai +3
Formal modeling provides strong guarantees about system correctness, but developing and repairing formal models remains labor-intensive and requires substantial expertise in logic…
TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
Klaus-Dieter Schewe, Flavio Ferrarotti, Peter Rivière +3
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article addresses the extension of the logic of Event-B to a powerful logic, in…
A Complete Fragment of LTL(EB)
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe +2
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment LTL of the logic LTL(E…
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
Yamine Ait Ameur, Idir Ait Sadoune, Kahina Hacid +1
This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories wit…