Presentation at Verification Futures, Reading, UK. 4 February 2016. Kyriakos Georgiou. Is your code as cool as expected?.