Is anyone in the Bitcoin ecosystem doing formal verification of systems? (TLA+ or ...

2023-09-12 12:47:52

Is anyone in the Bitcoin ecosystem doing formal verification of systems? (TLA+ or similar)

Author Public Key

npub18zjayygmydjnp0zrh4q5hx7q0mg9xvj5jdpqkjpy2t9eeheyt0xs2r4mlc

Seen on

Show more details

thinkmassive on Nostr: Is anyone in the Bitcoin ecosystem doing formal verification of systems? (TLA+ or ...