Tag: Linear Temporal Logic Modulo Theories (LTLMT)

02-15-2023 | Nicola Gigante: Practical Verification of Linear Temporal Logic Modulo Theories Specifications

Feb 15, 2023

—

by

domadmin

in Seminars

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…