Métodos Formales de Desarrollo de Software

Description:

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
1.- Introduction		1.- Introduction
2.- Mathematical Induction		2.- Mathematical Induction
3.- Introduction to Dafny		3.- Introduction to Dafny
4.- Verification Conditions Generation		4.- Verification Conditions Generation
5.- Value Types		5.- Value Types
6.- Structural Induction and Datatypes		6.- Structural Induction and Datatypes
7.- Arrays and Framing		7.- Arrays and Framing
Assignments		Assignments
Basic Bibliography		Basic Bibliography
Challenges		Challenges
Complementary Readings		Complementary Readings
.gitattributes		.gitattributes
LICENSE		LICENSE
README.md		README.md
eGela.pdf		eGela.pdf