Tue 17 Jan 2023 14:00 - 14:30 at The Loft - Verification Chair(s): Linda Brodo

Tue 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
VerificationPADL at The Loft
Chair(s): Linda Brodo Università di Sassari
14:00
30m
Talk
Execution Time Program Verification With Tight Bounds
PADL
Ana Carolina Silva FCUP, Manuel Barbosa HASLab - INESC TEC and FCUP, Mario Florido Universidade do Porto
14:30
30m
Talk
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting
PADL
Misaki Kojima Nagoya University, Naoki Nishida Nagoya University
DOI File Attached
15:00
30m
Talk
Multiple Query Satisfiability of Constrained Horn Clauses
PADL
Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI