4 ms·
At least in the TLA+ community, the new state-of-art approach is to use the formal model to generate a test suite.
by hwayne 2y ago
At least in the TLA+ community, the new state-of-art approach is to use the formal model to generate a test suite.
- goostavos 2y agoThat is interesting. Link?