2 ms·
Where does one go to learn these formal methods?
by hughw 10y ago
Where does one go to learn these formal methods?
- elihu 10y agoI'm not very knowledgeable in this area and haven't used these tools myself, but you could start by looking into theorem-proving tools like coq and agda.
- cmrx64 10y agoDepends on what level of detail you're interested in. You could check out ADA/Spark or Dafny. Or, investigate something like Isabelle/HOL or Coq - perhaps via http://concrete-semantics.org/ http://concrete-semantics.org/ or http://adam.chlipala.net/cpdt/ http://adam.chlipala.net/cpdt/.