Practical Verification of Linear Temporal Logic Modulo Theories Specifications Speaker: Nicola Gigante, Researcher, University of Bozen-Bolzano (Italy) Date: Wednesday, February 15, 2023 Time: 3:00pm Location: NIA, Room 101 or via…
Practical Verification of Linear Temporal Logic Modulo Theories Specifications Speaker: Nicola Gigante, Researcher, University of Bozen-Bolzano (Italy) Date: Wednesday, February 15, 2023 Time: 3:00pm Location: NIA, Room 101 or via…