[Linuxtrent] Re: Linux, kernel in crescita
- From: Marco Cova <marco.cova@xxxxxxxxx>
- To: linuxtrent@xxxxxxxxxxxxx
- Date: Sun, 11 Dec 2005 13:11:29 +0100
On 12/11/05, Mario <alexmario@xxxxxxx> wrote:
> Il trafiletto riporta una ricerca condotta dalla società statunitense
> Coverty, fondata da ricercatori del Computer Science Reserch Center
> della Stanford university.
[cut]
> Per chi fosse interessato alla fonte primaria :
> http://www.portalino.it/nuke/modules.php?name=News&file=article&sid=12764
Una fonte "più primaria" è forse la pagina di Dawson Engler che a
Stanford si occupa di static analysis e model checking (e
apparentemente lo fa piuttosto bene):
http://www.stanford.edu/~engler/
Per la cronaca, la maggior parte dei bug identificati stava non nella
parte core del kernel, ma (sorpresa sorpresa) nei moduli.
Un altro gruppo che in questo campo lavora molto è (qui sì un po' di
sorpresa) il program analysis group di microsoft:
http://www.microsoft.com/windows/cse/pa/pa.mspx
Ovviamente, ci sono parecchi altri gruppi piuttosto forti in questo
settore. Domanda per gli irstiani del gruppo: lassù in collina, si usa
nusmv per fare model checking di codice (vero)?
Marco
PS: s/Coverty/Coverity/g
--
Per iscriversi (o disiscriversi), basta spedire un messaggio con OGGETTO
"subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx
Other related posts: