GitHub - REMath/mit_16.399: MIT's abstract interpretation class taught by Cousot

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commits
final		final
lecture_01-intro		lecture_01-intro
lecture_02-soft-verif		lecture_02-soft-verif
lecture_03-proofs		lecture_03-proofs
lecture_04-set-theo		lecture_04-set-theo
lecture_05-op-sem		lecture_05-op-sem
lecture_06-logic		lecture_06-logic
lecture_07-spec		lecture_07-spec
lecture_08-col-sem		lecture_08-col-sem
lecture_09-lattice1		lecture_09-lattice1
lecture_10-lattice2		lecture_10-lattice2
lecture_10-maps1		lecture_10-maps1
lecture_11-a-maps2		lecture_11-a-maps2
lecture_11-b-fixpoints1		lecture_11-b-fixpoints1
lecture_12-fixpoints2		lecture_12-fixpoints2
lecture_13-abstraction1		lecture_13-abstraction1
lecture_14-1-abstraction2		lecture_14-1-abstraction2
lecture_14-2-fw-col		lecture_14-2-fw-col
lecture_15-approximation		lecture_15-approximation
lecture_16_ana-sta-nr1		lecture_16_ana-sta-nr1
lecture_17_ana-sta-nr2		lecture_17_ana-sta-nr2
lecture_18_ana-sta-nr-wn		lecture_18_ana-sta-nr-wn
lecture_19_ana-sta-r		lecture_19_ana-sta-r
lecture_20_ana-sta-fb		lecture_20_ana-sta-fb
papers		papers
project		project
index.html		index.html