Verification of Database Driven Systems
Luc Segoufin ( ENS de Cachan )
- 11:00 31st May 2017 ( week 6, Trinity Term 2017 )Room 051, Wolfson Building, Parks Road
In this talk we will consider some aspects of the formal specification and formal verification of database driven systems. We will survey some of the main results, featuring automata models and logics in the presence of data.