Beefy Boxes and Bandwidth Generously Provided by pair Networks
Clear questions and runnable code
get the best and fastest answer

Formal methods

by sleepingsquirrel (Hermit)
on Mar 09, 2004 at 18:11 UTC ( #335223=note: print w/ replies, xml ) Need Help??

in reply to Testing: Fun for the family

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.

Comment on Formal methods

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://335223]
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others examining the Monastery: (7)
As of 2015-11-27 11:32 GMT
Find Nodes?
    Voting Booth?

    What would be the most significant thing to happen if a rope (or wire) tied the Earth and the Moon together?

    Results (725 votes), past polls