Inferring Network Invariants Automatically.

Olga Grinchtein, Martin Leucker, Nir Piterman

Browse the full CADE paper archive.