Fairness for Dynamic Control
暂无分享,去创建一个
Jochen Hoenicke | Ernst-Rüdiger Olderog | Andreas Podelski | A. Podelski | E. Olderog | Jochen Hoenicke
[1] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[2] Leslie Lamport,et al. A new solution of Dijkstra's concurrent programming problem , 1974, Commun. ACM.
[3] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[4] Lutz Priese,et al. Fairness , 1988, Bull. EATCS.
[5] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[6] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.
[7] Ina Schaefer,et al. Specification and Verification of Dynamic Communication Systems , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
[8] Andreas Podelski,et al. Transition predicate abstraction and fair termination , 2005, POPL '05.
[9] Anish Arora,et al. Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997) , 1998, SIGA.
[10] Andreas Podelski,et al. Proving thread termination , 2007, PLDI '07.
[11] A. Rybalchenko,et al. Transition invariants , 2004, LICS 2004.
[12] Madan Musuvathi,et al. Fair stateless model checking , 2008, PLDI '08.
[13] Eike Best,et al. Semantics of sequential and parallel programs , 1996, Prentice Hall International series in computer science.
[14] Ernst-Rüdiger Olderog,et al. Fairness in parallel programs: the transformational approach , 1988, TOPL.
[15] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[16] Ernst-Rüdiger Olderog,et al. Verification of Sequential and Concurrent Programs , 1997, Graduate Texts in Computer Science.
[17] Amir Pnueli,et al. Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems , 2005, TACAS.