Sinfer: Inferring information flow lattices for checking self-stabilization.

Yong Hun Eom, Brian Demsky

Browse the full ISSRE paper archive.