Combining type-based analysis and model checking for finding counterexamples against non-interference.

Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa

Browse the full PLDI paper archive.