👤 Raghavendra Kagalavadi Ramesh

Model checking trace-based information flow properties. For finite state systems and pushdown systems. Deepak D'Souza and Barbara Sprick