Formally Verifying Flow Properties in Industrial Systems.

Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch

Browse the full SECRYPT paper archive.