Fingers Crossed for 2021 ...

2020 was the worst! COVID kept the museum closed for much of the year and a mains water pipe bursting causing a flood kept us closed for the rest. 
We're hoping to re-open in the next few months ... fingers crossed! Read More >>>

Please Donate Via Just GivingNo visitors, no workshops, no events, no school visits... no income. We know that things are tough for everyone right now, but if you can afford to help us through these tough times please donate what you can.

There's over 36,000 exhibits here! That should keep you occupied for a bit - get searching!

Or come and get involved on our social media channels ...

      Twitch  Facebook          Online Gift Shop      

Thank you.

 Home > LEO Computers > LEOPEDIA > Articles, Reviews and Other Papers > Validity & Correctnes ... e of LEO I and LEO II

Validity & Correctness before the OS: the case of LEO I and LEO II

Paper presented by Elisabetta Mori at the Alan Turing Institute, October 2017, London and at the CNAM Conservatoire national des arts et métie, 20th October 2017, Paris.

Subsequently published in Reflections on Programming Systems: Historical and Philosophical Aspects (2018), co-authored by Rabia Arif and Guiseppe Primiero, edited by Liesbeth de Mol and Giuseppe Primiero, Springer.

Please Note: This item is not in our collection and is included here for signposting purposes only.

Date : October 2017

This exhibit has a reference ID of CH54503. Please quote this reference ID in any communication with the Centre for Computing History.

Validity & Correctness before the OS: the case of LEO I and LEO II

Click on the Images For Detail

Help support the museum by buying from the museum shop

View all items

Founding Sponsors
redgate Google ARM Real VNC Microsoft Research
Heritage Lottery Funded
Heritage Lottery Fund
Accredited Museum