10
March
2022
Verifiability Talk 29: “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”
Date: 10/03/2022 – Meeting Link
Time: 16:00-17:00 (UTC (GMT))