top | item 30123815 (no title) unemphysbro | 4 years ago hence the recent renaissance in formal methodseg.https://www.certik.com/ discuss order hn newest exdsq|4 years ago Formal 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
exdsq|4 years ago Formal 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
exdsq|4 years ago