Sort:  

That's right! So anyone's welcome to ask about Formal Verification methods so looks like an interesting discussion (if you're a techy kinda guy!)

Coin Marketplace

STEEM 0.20
TRX 0.12
JST 0.029
BTC 61409.80
ETH 3358.74
USDT 1.00
SBD 2.49