4 ms·
TLA+ and the like work because they target a very small specification language. With the large footprint of Rust, I've seen questions raised about how this wil
by adsharma 2y ago
TLA+ and the like work because they target a very small specification language.
With the large footprint of Rust, I've seen questions raised about how this will work. But haven't seen good answers.
Would love to read more.