Skip to main content

Verification of Database Driven Systems

Luc Segoufin ( ENS de Cachan )

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.

Share this: