Comment by snvzz

Why the BMC is not designed around seL4, I cannot comprehend.