Tag: Nicola Gigante

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 Teams link POC: Laura Titolo, National Institute of Aerospace, laura.titolo@nianet.org Abstract Linear Temporal Logic (LTL) is the most common specification language for the verification of…