verification

Six week programme in Verified Software at the Isaac Newton Institute, Cambridge

The six week programme Verified Software at the Isaac Newton Institute, Cambridge will take place this summer, after the original event was postponed last year. The Verified Software programme includes two workshops, one on the Theory and Applications of Verified Software, From Theory to Practice and a second one on Verification Tools and Experiments. These will be supplemented… Read more »

Delicious Twitter Digg this StumbleUpon Facebook