- How the use of TLA+, a formal specification language, allows DeFi protocols to achieve bug free coding. It is a logical and philosophical language facilitating the discovery of obscure bugs in code before writing even begins. By helping protocols find bugs in advance, it saves them time+money. https://medium.com/onomy-protocol/how-tla-can-help-defi-protocols-deliver-bug-free-code-8a0c89c9cb98 4 comments ethereum
- The Importance Of TLA+ within DeFi as well as CeFi along with how it can lead to bug-free coding. With bugs and glitches being the norm with prominent projects, ensuring safety of users' funds is of immense importance. https://medium.com/onomy-protocol/how-tla-can-help-defi-protocols-deliver-bug-free-code-8a0c89c9cb98 3 comments ethereum
Linked pages
- http://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf 16 comments
- Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD) - YouTube https://www.youtube.com/watch?v=p54W-XOIEF8 1 comment
- The Evolution of Testing Methodology at AWS: From Status Quo to Formal Methods with TLA+ https://www.infoq.com/presentations/aws-testing-tla 0 comments
Related searches:
Search whole site: site:medium.com
Search title: How TLA+ Can Help DeFi Protocols Deliver Bug-Free Code | by Onomy Protocol | Onomy Protocol | Medium
See how to search.