Viðburðir eftir árum


ICE-TCS seminar: Adrian Francalanza about LTL Proof System

  • 30.1.2015, 14:00 - 15:00
ICE-TCS-logo-200px

Friday, 30 January: ICE-TCS seminar
Time and place: 2pm in room M1.02 at Reykjavik University
Title: An LTL Proof System for Runtime Verification
Speaker: Adrian Francalanza (University of Malta)

Abstract: We propose a local proof system for Linear Temporal Logic (LTL) that formalised deductions within the constraints of Runtime Verification (RV), and show how such a system can be used as a basis for constructing online runtime monitors. Soundness and partial completeness results are proven for the proof system. We also prove decidability and incrementality properties for a monitoring algorithm constructed from our deductive system. Finally, we relate the expressivity of our framework to existing symbolic analysis techniques for LTL used for online monitoring. 

This is joint work with Clare Cini. 



Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á ru.is eða með því að senda tölvupóst á netfangið: personuvernd@ru.is
//
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our ru.is or send an e-mail: personuvernd@ru.is