Abstract

This paper presents a lightweight framework for executable code generation from B formal specification. First, the translation framework is introduced, including the translation strategy, process and implementation. Then the correctness and reusability of the framework is simply discussed. Finally, we introduce several kinds of support tools which can be used to implement the framework.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call