Dafny and TLA+ for modeling and verification of algorithms and protocols. Both languages are amazingly expressive and allow you to describe complex situations and really change how I think about software.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Dafny and TLA+ for modeling and verification of algorithms and protocols. Both languages are amazingly expressive and allow you to describe complex situations and really change how I think about software.