4 ms·
Would it even be possible to formally verify such a system as a whole? From my limited experience with formal verification, even small designs can take over an
by colejohnson66 4y ago
Would it even be possible to formally verify such a system as a whole? From my limited experience with formal verification, even small designs can take over an hour to verify.