4 ms·
It’s certainly possible, though it comes with a different set of challenges to software verification. Here’s a recent paper in this direction, proving the corre
by sidereal 8y ago
It’s certainly possible, though it comes with a different set of challenges to software verification. Here’s a recent paper in this direction, proving the correctness of a RISC-V CPU: http://plv.csail.mit.edu/kami/papers/icfp17.pdf http://plv.csail.mit.edu/kami/papers/icfp17.pdf