Temporal Logic of Actions (TLA+), a general toolkit that can exhaustively test software designs, also works on ckBTC smart contracts. Say goodbye to reentrancy bugs, and hello to more secure BTC <> ICP transfers. Written by Ognjen Maric In June 2016, the excitement was running high. “The DAO”, built on…