Model Checking Information Flow in Reactive Systems.

Rayna Dimitrova, Bernd Finkbeiner, Mt Kovcs, Markus N. Rabe, Helmut Seidl

Browse the full VMCAI paper archive.