4 ms·
I'd be very interested if you could elaborate a little on what tools and how you applied formal methods on that old code?
by fredyr 10y ago
I'd be very interested if you could elaborate a little on what tools and how you applied formal methods on that old code?