Search for tag: "verification"

Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh

Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh

From  Informatics at Edinburgh 0 likes 6 plays 0  

Anis Hamadouche - UDRC Research Video 2023

Anis Hamadouche is a final-year PhD student from Heriot-Watt University. Mr. Hamadouche’s work consists of theoretically analyzing the performance of iterative optimization algorithms,…

From  Joe Burchell 0 likes 73 plays 0  

Thibault Modeste EVA Talk Preview

This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Thibault Modeste Talk Title: Scoring and validation of dynamic probability forecast Abstract: Forecast and…

From  Anna Munro 0 likes 15 plays 0  

Analysing Processes

Analysing Processes

From  Matt Sanders 0 likes 567 plays 0  

Separation Logic

Advances in Programming Languages 2018/19 Lecture 14: Separation Logic Hoare Logic is a language for making and proving assertions about the behaviour of code: the extension to Separation Logic…

From  Ian Stark 0 likes 97 plays 0  

Practical Tools for Java Correctness

Advances in Programming Languages 2018/19 Lecture 13: Practical Tools for Java Correctness Today’s lecture presented two different facilities designed to help write Java code that does the…

From  Ian Stark 0 likes 38 plays 0  

Specification and Verification

Advances in Programming Languages 2018/19 Lecture 12: Specification and Verification Today's lecture was the first in a block on language techniques and tools that aim to improve program…

From  Ian Stark 0 likes 28 plays 0  

CCMeas L04 - 3 Carrying out Audit.mpg

From  Stewart Cromar 0 likes 204 plays 0  

CCMeas L04 - 2 Setting up Audit.mpg

From  Stewart Cromar 0 likes 227 plays 0  

CCMeas L04 - 1 Introduction to Auditing

From  Stewart Cromar 0 likes 244 plays 0