References

  1. Bernhard K. Aichernig & Peter Gorm Larsenz (1997): A proof obligation generator for VDM-SL. In: John Fitzgerald, Cliff B. Jones & Peter Lucas: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 338–357, doi:10.1007/3-540-63533-5_18.
  2. Nick Battle (2009): VDMJ User Guide. Technical Report. Fujitsu Services Ltd., UK.
  3. Hendrik Bünder (2019): Decoupling Language and Editor - The Impact of the Language Server Protocol on Textual Domain-Specific Languages. In: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD,. INSTICC. SciTePress, pp. 131–142, doi:10.5220/0007556301310142.
  4. Hendrik Bünder & Herbert Kuchen (2020): Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol, pp. 225–245. Springer International Publishing, Cham, doi:10.1007/978-3-030-37873-8_10.
  5. Gilles Dowek, Amy Felty, Hugo Herbelin, Gérard Huet, Chet Murthy, Catherine Parent, Christine Paulin-Mohring & Benjamin Werner (1993): The Coq Proof Assistant User's Guide. Rapport Techniques 154. INRIA, Rocquencourt, France. Version 5.8.
  6. Marcel Hess & Thomas Kistler (2019): Dafny Language Server Redesign. HSR Hochschule für Technik Rapperswil.
  7. Cliff B. Jones (1985): The role of proof obligations in software design. In: Hartmut Ehrig, Christiane Floyd, Maurice Nivat & James Thatcher: Formal Methods and Software Development. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 27–41, doi:10.1007/3-540-15199-0_3.
  8. Peter Gorm Larsen (2001): Ten Years of Historical Development: ``Bootstrapping'' VDMTools. Journal of Universal Computer Science 7(8), pp. 692–709, doi:10.3217/jucs-007-08-0692.
  9. Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John Fitzgerald, Kenneth Lausdahl & Marcel Verhoef (2010): The Overture Initiative – Integrating Tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), pp. 1–6, doi:10.1145/1668862.1668864.
  10. Peter Gorm Larsen, Kenneth Lausdahl & Nick Battle (2010): Combinatorial Testing for VDM. In: Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM '10. IEEE Computer Society, Washington, DC, USA, pp. 278–285, doi:10.1109/SEFM.2010.32. ISBN 978-0-7695-4153-2.
  11. Yves Ledru (2002): The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges. In: Workshop on the State of the Art in Automated Software Engineering, University of California, Irvine.
  12. Paolo Masci & César A. Muñoz (2019): An Integrated Development Environment for the Prototype Verification System. Electronic Proceedings in Theoretical Computer Science 310, pp. 3549, doi:10.4204/eptcs.310.5.
  13. Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn & Jakob von Raumer (2015): The Lean Theorem Prover (System Description). In: Amy P. Felty & Aart Middeldorp: Automated Deduction - CADE-25. Springer International Publishing, Cham, pp. 378–388, doi:10.1007/978-3-319-21401-6_26.
  14. Paul Mukherjee (1997): Automatic translation of VDM-SL specifications into gofer. In: John Fitzgerald, Cliff B. Jones & Peter Lucas: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 258–277, doi:10.1007/3-540-63533-5_14.
  15. Tobias Nipkow (1989): Term rewriting and beyond theorem proving in Isabelle. Formal Aspects of Computing 1(1), pp. 320–338, doi:10.1007/bf01887212.
  16. Lawrence C. Paulson (1986): Natural deduction as higher-order resolution. The Journal of Logic Programming 3(3), pp. 237–258, doi:10.1016/0743-1066(86)90015-4.
  17. Jonas Kjær Rask & Frederik Palludan Madsen (2021): Decoupling of Core Analysis Support for Specification Languages from User Interfaces in Integrated Development Environments. Aarhus University, Department of Engineering. Available at https://github.com/overturetool/overturetool.github.io/blob/32b46df36502f1bfcbc4ea8ccad2ab10da04159f/publications/theses/Rask&21.pdf.
  18. Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo & Peter Gorm Larsen (2020): Visual Studio Code VDM Support. In: Proceedings of the 18th International Overture Workshop, pp. 3549. Available at https://arxiv.org/abs/2101.07261.
  19. Roberto Rodriguez-Echeverria, Javier Luis Cánovas Izquierdo, Manuel Wimmer & Jordi Cabot (2018): Towards a Language Server Protocol Infrastructure for Graphical Modeling. In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS '18. Association for Computing Machinery, New York, NY, USA, pp. 370380, doi:10.1145/3239372.3239383.
  20. Peter W. V. Tran-Jørgensen, Peter Gorm Larsen & Gary T. Leavens (2017): Automated translation of VDM to JML-annotated Java. International Journal on Software Tools for Technology Transfer, pp. 1–25, doi:10.1007/s10009-017-0448-3.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org