Claim your blog

Record · corpus.blog/posts/01a08783-9f86-7165-97fc-faf43e08a81f

Introducing DARUM - DAfny Resource Usage Measurement

hmijailblog.blogspot.com · published 28 April 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at hmijailblog.blogspot.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 13
Words captured: 2,731

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://dafny.org/

dafny.org

https://program-proofs.com/

program-proofs.com

https://ercim-news.ercim.eu/en131/jea/27th-international-conference-on-formal-methods-for-industrial-critical-systems-fmics-22

ercim-news.ercim.eu

https://hmijail.github.io/darum/Details.html

hmijail.github.io

https://hmijail.github.io/darum/Walkthrough.html

hmijail.github.io

https://stackoverflow.com/questions/15731179/randomness-in-z3-results?rq=3

stackoverflow.com

https://dafny.org/latest/DafnyRef/DafnyRef

dafny.org

https://www.typetheoryforall.com/episodes/z3-and-lean-the-spiritual-journey

typetheoryforall.com

Avoiding verification brittleness in Dafny Read at the source ↗

https://github.com/dafny-lang/dafny/issues/1570

github.com

https://www.youtube.com/watch?v=8AzjDs8aF7g

youtube.com

https://dafny.org/dafny/DafnyRef/DafnyRef.html

dafny.org

https://pypi.org/project/darum/

pypi.org