Author:
Gurov Dilian,Huisman Marieke
Subject
General Computer Science,Theoretical Computer Science
Reference44 articles.
1. Weighted pushdown systems and their application to interprocedural dataflow analysis;Reps;Science of Computer Programming,2005
2. Efficient algorithms for model checking pushdown systems;Esparza,2000
3. Safety for branching time semantics;Bouajjani,1991
4. Enforceable security policies;Schneider;ACM Transactions on Infinite Systems Security,2000
5. Compositional verification of sequential programs with procedures;Gurov;Information and Computation,2008
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Who Carries the Burden of Modularity?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
2. Algorithmic verification of procedural programs in the presence of code variability;Science of Computer Programming;2016-10