3 ms·

I wonder, have they tried TLA+? This sounds like a good fit for designing a memory safety algorithm. https://lamport.azurewebsites.net/tla/high-level-view.html

I wonder, have they tried TLA+? This sounds like a good fit for designing a memory safety algorithm. https://lamport.azurewebsites.net/tla/high-level-view.html https://lamport.azurewebsites.net/tla/high-level-view.html

Jyaif 4y ago
They are not trying to design an algorithm, they are trying to make an entire browser safer.