Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference21 articles.
1. Alur R, Bouajjani A, Esparza J (2016) Model checking of procedural programs. In: Handbook of Model Checking. Springer. To Appear
2. Alur R, Chaudhuri S (2010) Temporal reasoning for procedural programs. In: VMCAI, pp. 45–60
3. Alur R, Chaudhuri S, Madhusudan P (2006) A fixpoint calculus for local and global program flows. In: POPL, pp. 153–165
4. Alur R, Chaudhuri S, Madhusudan P (2011) Software model checking using languages of nested trees. ACM Trans. Program. Lang. Syst. 33(5):15
5. Alur R, Madhusudan P (2004) Visibly pushdown languages. In: STOC, pp. 202–211