2 citations · 3 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2018★ 2 cited
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…