3 ms·
How does Dafny differ from Microsoft's F* (FStar)[1]? [1] https://www.fstar-lang.org/ https://www.fstar-lang.org/
by eggy 8y ago
How does Dafny differ from Microsoft's F* (FStar)[1]?
[1] https://www.fstar-lang.org/ https://www.fstar-lang.org/
- pjmlp 8y agoIt is more C# like, and was used to write one of the Singularity post OSes at MS Research. "Automated Verification of a Type-Safe Operating System" https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/pldi117-yang.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...
- eggy 8y agoThanks. I see the F#/F* synergy. Are C#/Dafny as similar to favor them over the F#/F* combo?