Perl-Sensitive Sunglasses | |
PerlMonks |
Formal methodsby sleepingsquirrel (Chaplain) |
on Mar 09, 2004 at 18:11 UTC ( [id://335223]=note: print w/replies, xml ) | Need Help?? |
With all this talk about high level testing specifications, I couldn't help but think about formal method specifications like Z. Anyone here using formal methods to create bullet-proof perl apps? I havn't used them myself, but I found this paper interesting.
In Section
Meditations
|
|