GitHub - digamma-ai/formal-verification-intro: Presentation on formal verification of computer programs

digamma-ai / formal-verification-intro Public

Presentation on formal verification of computer programs

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
coq_demo		coq_demo
pictures		pictures
DeepSpecMeetup.tex		DeepSpecMeetup.tex
Formal Verification Of Computer Programs.tex		Formal Verification Of Computer Programs.tex
FormalVerificationOfCIntro.pdf		FormalVerificationOfCIntro.pdf
FormalVerificationOfComputerPrograms.pdf		FormalVerificationOfComputerPrograms.pdf
Formal_Verification_of_Computer_Programs__Meetup.pdf		Formal_Verification_of_Computer_Programs__Meetup.pdf
Part1.tex		Part1.tex
Part1_meetup.pdf		Part1_meetup.pdf
Part1_meetup.tex		Part1_meetup.tex
Part2.tex		Part2.tex
TheoryBehindCoq.pdf		TheoryBehindCoq.pdf
Twitter_Social_Icon_Square_Color.png		Twitter_Social_Icon_Square_Color.png
anyfontsize.sty		anyfontsize.sty
asn_strtoimax_lim.c		asn_strtoimax_lim.c
asn_strtoimax_lim_old.c		asn_strtoimax_lim_old.c
asn_strtoimax_lim_part.c		asn_strtoimax_lim_part.c
beamercolorthememetropolis-highcontrast.sty		beamercolorthememetropolis-highcontrast.sty
beamercolorthememetropolis.sty		beamercolorthememetropolis.sty
beamerfontthememetropolis.sty		beamerfontthememetropolis.sty
beamerinnerthememetropolis.sty		beamerinnerthememetropolis.sty
beamerouterthememetropolis.sty		beamerouterthememetropolis.sty
beamerthememetropolis.sty		beamerthememetropolis.sty
bug1fix.diff		bug1fix.diff
coq-listings.tex		coq-listings.tex
coq.png		coq.png
demo.bib		demo.bib
email.png		email.png
listings-coq.tex		listings-coq.tex
pgfplotsthemetol.sty		pgfplotsthemetol.sty