[M3devel] About Juno-2 and automating debugging software

[Daniel Alejandro Benavides D.]

Hi all:
thanks for your asnwer I came to see this today:
http://www.espresso-soft.org/main.php?button=supervisors
expand the last (show/hide) abstract selector.
I think definitively this guys looks better things than many of us !! Or not? In a sense is good I guess, but what if not?
Just hope to see what it brings to it.
:)

--- El mié, 2/2/11, Hendrik Boom <hendrik at topoi.pooq.com> escribió:

> De: Hendrik Boom <hendrik at topoi.pooq.com>
> Asunto: Re: [M3devel] About Juno-2 and automating debugging software
> Para: m3devel at elegosoft.com
> Fecha: miércoles, 2 de febrero, 2011 21:02
> On Mon, Jan 31, 2011 at 04:20:58AM
> +0000, Daniel Alejandro Benavides D. wrote:
> > Hi all:
> > yes, I believe is doable especially if you think this
> issue comes again in another form, the AI guys thinking what
> went wrong, well nothing went wrong as I realize now, there
> is a lot of research certainly, but in the end is just the
> same thing like before, and you can see this like the reuse
> of concepts of prior knowledge as is mentioned between other
> by Dr Andrew Tanenbaum, it just happens when something like
> this: see, the GPGPU GPU stuff alike is a nother come of the
> concept of explicit parallelism and its implication in
> computing fields, surely more developed in terms of the
> hardware this was I believe, but at the end is just another
> way of calling Transputers in earlier times, is just like
> it, then it was not an abandoned thing like before, just a
> reuse of the concept, and in practical terms this what it is
> the Occam Occam2 and alike languages; there is one in
> particular of my interest here the one built for drawing
> using CSP of Hoare, the language
> >  is called Armadillo see a slide show here,
> specially check for the Computer magazine backcover in p. 6
> in:
> > https://lsl.unal.edu.co/fl18/conferencias/09.20_ArmadilloTortugav02.pdf
> 
> The TUNES website is a good place to look for plans and
> musings in the 
> direction of formally verified programming:
> 
> http://tunes.org/
> 
> It's a project that aims to use formal verification for
> security, and 
> has produces a lot of interesting theorizing about the
> issues, but not 
> much practical code.  At least, that was the case last
> time I looked 
> at the web site seriously a few years ago.
> 
> -- hendrik
>