A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B.

Christophe Chen Peter Rivière Neeraj Kumar Singh 0001 Guillaume Dupont Yamine Aït-Ameur Marc Frappier A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. 46-57 2025 FormaliSE https://doi.org/10.1109/FormaliSE66629.2025.00011 conf/icse-formalise/2025 db/conf/icse-formalise/formalise2025.html#ChenRSDAF25 streams/conf/icse-formalise