1 paper
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.…