Seite 1 von 1

Assignment 4: Faithfullnes

Verfasst: 5. Jun 2012 23:07
von LordHoto
Hi,

I have a short question about when a formalization is faithful to a secure coding guideline: When my formalization is (just a bit) more restrictive than the actual guideline, does that imply that my formalization is faithful?

Thanks in Advance.

// Johannes

Re: Assignment 4: Faithfullnes

Verfasst: 6. Jun 2012 10:39
von aderhold
LordHoto hat geschrieben:When my formalization is (just a bit) more restrictive than the actual guideline, does that imply that my formalization is faithful?
Since "just a bit" is probably hard to get precise, let's leave that out for a moment. So the claim would be: "A formalization is faithful if it is more (or at least as) restrictive than the informal guideline." That doesn't sound convincing to me, because a formalization that requires "false" to be true would be faithful according to that claim.

So I suggest that you try to define a formalization that is "close to faithful". In your discussion of the formalization, you mention the part that makes the difference between "close to faithful" and "faithful".