Back in 2001, a novel approach to formal verification started to take shape at NASA.
Thanks to it, the internet of today is safer and more robust.
We're very excited to announce that Grigore Rosu, Founder of Runtime Verification, will be one of our speakers at X Day Paris. xday.com
RT: https://twitter.com/ElrondNetwork/status/1585982375007485954
