List questions from boogie | Devhide

Are Dafny "reals" really "real"

Published on 04 January 2024 at 23:32

Vectors vs Sequences in Boogie

Published on 08 June 2022 at 21:55

Does random_seed affect the initial state of parameters in an implementation?

Published on 25 May 2022 at 22:11

Invariants and old() in Boogie

Published on 16 February 2021 at 11:56

What are the sources of non-robustness in Dafny proofs?

Published on 20 August 2020 at 01:23

How to read dafny counterexamples

Published on 03 October 2018 at 01:54

Can I find non-spurious counter example if I use different Boogie backend to check translated bpl files by Dafny?

Published on 12 September 2018 at 19:25

Logic error or Boogie bug? Quantifiers: exists of a forall

Published on 03 August 2018 at 13:09

What are triggers in Dafny/Boogie?

Published on 03 June 2018 at 16:44