Name		Name	Last commit message	Last commit date
parent directory ..
pl1		pl1
pl2		pl2
pl3		pl3
t1		t1
t2		t2
t3		t3
tla		tla
why3_examples		why3_examples
why3_scottish_private_clube		why3_scottish_private_clube
.gitignore		.gitignore
README.md		README.md

README.md

VF : Verificação Formal

Formal Verification

Contacts

Name	Email
Manuel Alcino Pereira Cunha	[email protected]
Jorge Miguel Matos Sousa Pinto	[email protected]
Maria João Gomes Frade	[email protected]

Assessments

Assessment	Grade (0-20)	Ratio
1^st Test (Coq Proof Assistant)	19.1	33 %
2^nd Test (Why3)	19	33 %
3^rd Test (Model Checking)	13.5	33 %