Miran Hasanagić

Towards Enabling Overture as a Platform for Formal Notation IDEs

2015 · Electronic Proceedings in Theoretical Computer Science

Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of …