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.
Nick Battle (2009):
VDMJ User Guide.
Technical Report.
Fujitsu Services Ltd.,
UK.
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.
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.
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.
Marcel Hess & Thomas Kistler (2019):
Dafny Language Server Redesign.
HSR Hochschule für Technik Rapperswil.
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.
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.
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.
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.
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.
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.
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.
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.
Tobias Nipkow (1989):
Term rewriting and beyond theorem proving in Isabelle.
Formal Aspects of Computing 1(1),
pp. 320–338,
doi:10.1007/bf01887212.
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.
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.
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.
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.