On March 9, 2023 at 14:00 EET, Traian Șerbănuță (University of Bucharest & Runtime Verification) will give a talk in the Logic Seminar.
Title: Implementing Program Verification in the 𝕂 Framework
Abstract: In this talk we will briefly introduce 𝕂, a rewriting-based framework for defining programming languages semantics, discuss Reachability Logic, the language-agnostic program verification logic for 𝕂, and give some hints about the current implementation.
The talk will take place physically at FMI Hall 214 “Google”.