Error: Search failed: Failed to fetch YouTube search results

Semantics-based Program Verifiers For All Languages

2017 1:16:29
Synopsis
I will present our K-based language-independent verification framework that can be instantiated with an operational semantics to ...