Enforcing behavior with contracts
暂无分享,去创建一个
[1] Ralph-Johan Back,et al. Refinement Calculus: A Systematic Introduction , 1998 .
[2] E. Allen Emerson,et al. Automated Temporal Reasoning about Reactive Systems , 1996, Banff Higher Order Workshop.
[3] Ralph-Johan Back,et al. Duality in specification languages: a lattice-theoretical approach , 1990, Acta Informatica.
[4] Wim H. Hesselink. Programs, Recursion and Unbounded Choice , 1992 .
[5] Johan J. Lukkien. Operational Semantics and Generalized Weakest Preconditions , 1994, Sci. Comput. Program..
[6] Yiannis N. Moshovakis. A model of concurrency with fair merge and full recursion , 1991 .
[7] Ralph-Johan Back,et al. Games and Winning Strategies , 1995, Inf. Process. Lett..
[8] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[9] Ralph Back. Verification and Refinement of Action Contracts , 2000 .
[10] Wolfgang Thomas,et al. On the Synthesis of Strategies in Infinite Games , 1995, STACS.
[11] Ralph-Johan Back,et al. Contracts, Games, and Refinement , 2000, Inf. Comput..
[12] Martín Abadi,et al. Realizable and Unrealizable Specifications of Reactive Systems , 1989, ICALP.
[13] Joseph M. Morris. Temporal predicate transformers and fair termination , 2004, Acta Informatica.
[14] Carroll Morgan,et al. Programming from specifications , 1990, Prentice Hall International Series in computer science.
[15] Zohar Manna,et al. Completing the Temporal Picture , 1991, Theor. Comput. Sci..
[16] Ralph-Johan Back,et al. Correctness preserving program refinements: Proof theory and applications , 1980 .
[17] Edgar Knapp,et al. A Predicate Transformer for Progress , 1990, Inf. Process. Lett..
[18] Carroll Morgan. Data Refinement by Miracles , 1988, Inf. Process. Lett..
[19] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[20] Ralph Back,et al. Contracts as Mathematical Entities in Programming Logic , 2000 .
[21] Ralph-Johan Back,et al. Reasoning About Interactive Systems , 1999, World Congress on Formal Methods.