4 ms·More generally: formal methods are only as good as your modelby firethief 7y agoMore generally: formal methods are only as good as your model