You are viewing a single comment's thread from:

RE: Formal Verification of Smart Contracts and Wren

in #steem • 9 years ago (edited)

Your question reveals how difficult it is to write correct programs and I found this video:

The video seems to illustrates what your question leads to. So we can never fully know certain things and the video mentions reachability and Rice's Theorem.

Reference

  1. http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/
9 years ago in #steem by
$0.00
    Reply 0

    Coin Marketplace

    STEEM 0.13
    TRX 0.34
    JST 0.033
    BTC 115693.47
    ETH 4488.49
    SBD 0.85