2 ms·
Lovw this sort of news/work. I can see how the SPARK subset can be used here to make formally verified wasm.
by badrabbit 7y ago
Lovw this sort of news/work. I can see how the SPARK subset can be used here to make formally verified wasm.
loading thread…