4 ms·
> Then you "just" have to use one of the formal proof languages and then verify the program ? Haha yes indeed, thereby elegantly reducing 8 hours of work to 40
by Jeff_Brown 5y ago
> Then you "just" have to use one of the formal proof languages and then verify the program ?
Haha yes indeed, thereby elegantly reducing 8 hours of work to 40 hours.
- BlueTemplar 5y agoWell, the question is how much of the formal verification can be automated too ?