Announcement_3
I will be giving a talk on my most recent work at the FORCE (Formal Reasoning for Compositional Systems Engineering) workshop, at FLOC’26 – it will focus on compositional specification of Assume Guarantee contracts.
I will be giving a talk on my most recent work at the FORCE (Formal Reasoning for Compositional Systems Engineering) workshop, at FLOC’26 – it will focus on compositional specification of Assume Guarantee contracts.