19 May 2022

Verifiability Talk 34: “Deriving Formal Models from Natural Language Requirements using ARSENAL Semantic Parser”

Speaker: Shankar Natarajan (SRI International)
Title: “Deriving Formal Models from Natural Language Requirements using ARSENAL Semantic Parser”
Meeting Link: https://bit.ly/deriveformalmeth
Date: 19/05/2022
Time: 16:00-17:00 (BST)