For years, I’ve always maintained that we should be able to have a calculus that defines the functionality for code.
It seemed that this would be extremely useful when it came to the programmatic generation of code as well as a basis for code verification.
It seems like ‘Formal Verification’ has attained this goal. Does anybody know of any ‘Formal Verification’ learning resources?
Aucun commentaire:
Enregistrer un commentaire