|
|
|
| XP is just a number | |
| PerlMonks |
Formal methodsby sleepingsquirrel (Hermit) |
| on Mar 09, 2004 at 18:11 UTC ( #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
|
|
||||||||||||||||||||