More generally: formal methods are only as good as your model

		firethief on Dec 22, 2019 \| parent \| context \| favorite \| on: Coolest Things I Learned in 2019 More generally: formal methods are only as good as your model