3 ms·
I've got the book in my queue to read, but parallel programming is hard. I think it pretty much still stands that there is no way to show that parallel code wo
by fullwedgewhale 12y ago
I've got the book in my queue to read, but parallel programming is hard. I think it pretty much still stands that there is no way to show that parallel code works, other than to do a formal proof of each section of the code.
- ArkyBeagle 12y agoMight be worth looking at "Doing Hard Time" by Bruce Powell Douglass. It's drenched in "executable UML" flavor but the toolchains that existed before Rose RT included less of that.
- fullwedgewhale 12y agoThanks, I'll take a look at that.