3 ms·
Dafny (and formal verification for imperative languages) is a lot of fun. But does Dafny have any library documentation? Is it .Net?
by mcguire 6y ago
Dafny (and formal verification for imperative languages) is a lot of fun.
But does Dafny have any library documentation? Is it .Net?
- dwohnitmok 6y agoI'm not quite sure what you mean. Dafny compiles to .NET indeed. What do you mean by library documentation? Dafny doesn't have many (any? I certainly haven't used any...) libraries to begin with.
- mcguire 6y agoI thought Dafny has access to the .NET infrastructure. But when I played with Dafny a while back, the only library interface I saw was printing to stdout (IIRC), which would imply that Dafny was a toy language intended for playing with verification and not much else. On the other hand, I've heard otherwise---it's been used for Windows drivers?---but without any documentation or examples, I lost interest.