| |||||||||||||
Process calculus... will not eliminate bugsProcess calculus... will not eliminate bugsPosted Feb 24, 2010 8:30 UTC (Wed) by nix (subscriber, #2304)In reply to: Process calculus... will not eliminate bugs by dps Parent article: 2.6.32.9 Release notes
Unfortunately whatever you do there is the problem of arguing that the kernel code corresponds to the process calculus or has the things your general proof required.Exactly. Without an automated prover the thing is mostly useless for actually reducing bug count: and when was the last time you encountered an automated prover for any but the most toy of languages that actually was automated? They tend to need so much assistance that they become far more a burden than a help, unless you're doing something hyper-life-critical. I was musing on the theoretical bound when I should have been thinking about reality...
(Log in to post comments)
|
|||||||||||||