dafny-lang/b3

Gladshtein, Vladimir; Leino, K. Rustan M.

doi:10.4230/artifacts.27039

Artifact

dafny-lang/b3 Software

Authors Vladimir Gladshtein , K. Rustan M. Leino

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.27039
URN: urn:nbn:de:0030-drops-270391

Author Details

Vladimir Gladshtein

National University of Singapore, Singapore

K. Rustan M. Leino

Amazon Web Services, Seattle, WA, USA

Content

Software (Dafny implementation): https://github.com/dafny-lang/b3
archived version

Version/Status

Content created at: 2025-05-15

Cite As Get BibTex

Vladimir Gladshtein, K. Rustan M. Leino. dafny-lang/b3 (Software, Dafny implementation). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27039

Description

An intermediate verification language

Subject Classification

Programming Languages

Dafny
JavaScript
HTML
Python
Java
C#
Makefile
CSS

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

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