5 citations · 11 across the 6 of their papers we have counts for
1 paper · 1 filter
Paolo Baldan, Barbara König, Tommaso Padoan +1
Many analysis and verifications tasks, such as static program analyses and model-checking for temporal logics reduce to the solution of systems of equations over suitable lattices.…