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.18
TRX 0.14
JST 0.030
BTC 58679.35
ETH 3155.04
USDT 1.00
SBD 2.44