[M3devel] [M3commit] CVS Update: cm3

Hendrik Boom hendrik at topoi.pooq.com
Sun Feb 6 01:49:35 CET 2011


On Sun, Feb 06, 2011 at 12:07:56AM +0000, Daniel Alejandro Benavides D. wrote:
> Hi all:
...
...
> Just to let you know if you see this point. 

It sounds as if you're saying it's possible to prove a program is faulty 
by running it, but it's not possible to say it's correct.

And concurrency makes things nonrepeatable, especially when there's 
bugs.

-- hendrik



More information about the M3devel mailing list