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 > "Check Everything”: V ... orrectness in LEO III

"Check Everything”: Validity and Correctness in LEO III

Paper by Elisabetta Mori presented at 5th International Conference on the History and Philosophy of Computing (HaPoC), 28-30 October 2019, Bergamo (Italy).  

A special issue of Interdisciplinary Science Reviews journal (published by Taylor & Francis) will be dedicated to the works presented at HaPoC 2019. 

The Abstract for this paper is available below.

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

Date : October 2019

This document has been scanned and is available to view online. Please note that copyright is retained by the original rights holder.
File Size: 101.03 KB

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

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