EazyB: A Graphical Framework for Assisting System Modeling Using Event-B

SSRN Electronic Journal 2026 Preprint Open access

Read full text

Authors: Rahul Karmakar, Aditi Mandal, Pritam Roy, Sayan Pal, Shubha Chakraborty

DOI: 10.2139/ssrn.6395124

Cited by: 0

References: 14

Fields of Study & Subjects

Formal Methods in Verification Model-Driven Software Engineering Techniques Logic programming and type systems

References 14