Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.

Francesco Ranzato, Francesco Tapparo

Browse the full VMCAI paper archive.