Towards Enabling Overture as a Platform for Formal Notation IDEs

  title={Towards Enabling Overture as a Platform for Formal Notation IDEs},
  author={L. Couto and P. Larsen and Miran Hasanagic and Georgios Kanakis and Kenneth Lausdahl and P. Tran-J{\o}rgensen},
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 programming languages such as Java. This means newcomers to formal methods do not get the same user experience as with their favourite programming IDE. In order to improve this situation it is essential that efforts are combined so it is possible to reuse common features… Expand
10 Citations
Enabling continuous integration in a formal methods setting
  • 2
A Component-Based Formal Language Workbench
  • 1
  • Highly Influenced
  • PDF
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA
  • 2
  • PDF
Code-generating VDM for Embedded Devices
  • 3
  • PDF
A Component-Based Formal Language Workbench
  • Highly Influenced


SableCC, an object-oriented compiler framework
  • 238
  • PDF
Migrating to an Extensible Architecture for Abstract Syntax Trees
  • 4
The overture initiative integrating tools for VDM
  • 148
  • PDF
Modelling systems
  • David S. Rogers
  • Engineering, Computer Science
  • ACM SIGSOFT Softw. Eng. Notes
  • 2010
  • 31
Scientific Decisions which Characterize VDM
  • C. Jones
  • Computer Science
  • World Congress on Formal Methods
  • 1999
  • 36
  • Highly Influential
  • PDF
Unifying Theories of Programming
  • 221
Rodin: an open toolset for modelling and reasoning in Event-B
  • 572
  • PDF
The Maude System
  • 123
Combinatorial Testing for VDM
  • 41