QUAIL: A Quantitative Security Analyzer for Imperative Code.

Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski

Browse the full CAV paper archive.