Beefy Boxes and Bandwidth Generously Provided by pair Networks
P is for Practical

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 drinking their drinks and smoking their pipes about the Monastery: (11)
As of 2015-11-30 13:59 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 (771 votes), past polls