Skip to content
Log in

Author

Akram Idani

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Jul 2026

Engineering Verified Model Transformations through a Proof-Based Language Workbench

BCerT is developed, an extension of the Meeduse language workbench originally dedicated to the formal modeling of domain-specific languages, allowing animation and model checking with ProB, as well as theorem proving with Atelier B.

Akram Idani, Germán Vega · 0 citations