Back in graduate school I spent two quarters TAing for the undergraduate formal methods course. While I have rarely pulled out full-blown formal methods in my career, I find that I use them informally all the time.
Fortune Buchholtz reintroduced me to formal methods a year ago or so. I tried them again but got lost in the proofs, eventually giving up bec…
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。
