research
∙
09/19/2022
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
This volume contains the proceedings of the 13th International Symposium...
share
research
∙
04/25/2022
Online Simulation Reduction
We study the problem of simultaneously performing reachability analysis ...
research
∙
09/16/2021
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of the 12th International Symposium...
research
∙
12/20/2019
CacheQuery: Learning Replacement Policies from Hardware Caches
We show how to infer deterministic cache replacement policies using off-...
research
∙
07/16/2018
Verification of Immediate Observation Population Protocols
Population protocols (Angluin et al., PODC, 2004) are a formal model of ...
research
∙
04/27/2018
Sound up-to techniques and Complete abstract domains
Abstract interpretation is a method to automatically find invariants of ...
research
∙
03/05/2018