4 ms·
hence the recent renaissance in formal methods eg. https://www.certik.com/ https://www.certik.com/
by unemphysbro 5y ago
hence the recent renaissance in formal methods
eg.
https://www.certik.com/ https://www.certik.com/
- exdsq 5y agoFormal methods doesn't necessarily mean that you're building the right thing which catches quite a few projects out. I do really enjoy getting to work with them though :D