6,081 followers
@DMerigoux @MangoZeus @visakanv Formal verification can then help find loopholes in the contracts and regulations: https://t.co/4vOfTg3Nzd
@DMerigoux @MangoZeus @visakanv Formal verification can then help find loopholes in the contracts and regulations: https://t.co/4vOfTg3Nzd