1 paper · 1 filter
Samuel Mimram, Aly-Bora Ulusoy
In order to gain a better understanding of the state space of programs, with the aim of making their verification more tractable, models based on directed topological spaces have b…