vehicle-lang/vehicle

Daggitt, Matthew L.; Kokke, Wen; Atkey, Robert; Komendantskaya, Ekaterina; Slusarz, Natalia; Arnaboldi, Luca

doi:10.4230/artifacts.23126

Artifact

vehicle-lang/vehicle Software

Authors Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi

Part of: Collection: Supplementary Materials
License: BSD 3-Clause Clear License
Publication Date: 2025-07-07

Document Identifiers

DOI: 10.4230/artifacts.23126
URN: urn:nbn:de:0030-drops-231263

Author Details

Matthew L. Daggitt

University of Western Australia, Perth, Australia

Wen Kokke

Well-Typed, London, UK

Robert Atkey

University of Strathclyde, Glasgow, UK

Ekaterina Komendantskaya

Heriot-Watt University, Edinburgh, UK
Southampton Universities, UK

Natalia Slusarz

Heriot-Watt University, Edinburgh, UK

Luca Arnaboldi

University of Birmingham, UK

Content

Software (Source Code): https://github.com/vehicle-lang/vehicle
archived version

Version/Status

Content created at: 2021-02-22
Status: Active (at the time of publication 2025-07-07)

Cite As Get BibTex

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi. vehicle-lang/vehicle (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23126

Description

A toolkit for enforcing logical specifications on neural networks

Subject Classification

Keywords

agda
haskell
neural-network
specification
verification

Programming Languages

Haskell
Python
VCL
Shell
Agda
Emacs Lisp
SWIG
Roff
Dockerfile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail