Author:
Esparza Javier,Kučera Antonı́n,Schwoon Stefan
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference13 articles.
1. Bebop: a symbolic model checker for boolean programs;Ball,2000
2. Model checking security properties of control flow graphs;Besson;J. Comput. Secur.,2001
3. Reachability analysis of pushdown automata: application to model checking;Bouajjani,1997
4. Model checking the full modal mu-calculus for infinite sequential processes;Burkart,1997
5. E.A. Emerson, Temporal and modal logic, Handbook Theor. Comp. Sci. B, 1991
Cited by
100 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献