'Mu calculus' presentation slideshows

Logics and automata for nested trees

Logics and automata for nested trees. Swarat Chaudhuri, U.Penn (with Rajeev Alur and P. Madhusudan). Pushdown models. write(v ). local. ret. call. local. local. local. call. ret. ret. call. local. local. Reachability: Is write(v) reachable? In mu-calculus,

190 views • 7 slides