lkml.org 
[lkml]   [2004]   [Oct]   [29]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: My thoughts on the "new development model"
On Thu, Oct 28, 2004 at 03:28:18AM -0400, Hacksaw wrote:

> > That's NOT the same as bug free software. For a start, there's no such
> > thing.
>
> Speaking of which, here's something I have wondered: is anyone out there
> trying to prove the correctness of core functions in the kernel? I was
> thinking this would be a fine activity for all those eager college students
> out there, or perhaps a graduate student project, a la the Stanford Checker
> project.
>
> While I can't imagine the main developers doing such a thing, I think it'd be
> useful and might uncover some hard to find bugs.
>
> I'd also suspect that they might be good candidates for proving, as there's
> not so much reason to have side effect riddled code, as one might for GUI
> programs.

Did you ever try to prove the correctness of some piece of code in an
imperative programming language? That's definitely not only "a graduate
student project".

cu
Adrian

--

"Is there not promise of rain?" Ling Tan asked suddenly out
of the darkness. There had been need of rain for many days.
"Only a promise," Lao Er said.
Pearl S. Buck - Dragon Seed

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2005-03-22 14:07    [W:0.068 / U:0.156 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site