Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference73 articles.
1. Abadi M, Plotkin GD (1993) A logical view of composition. Theor Comput Sci 114:3–30
2. Alur R, Henzinger T (1999) Reactive modules. Form Methods Syst Des 15(1):7–48
3. Alpern B, Schneider FB (1987) Recognizing safety and liveness. Distrib Comput 2(3):117
4. Banerjee A, Pal B, Das S, Kumar A, Dasgupta P (2006) Test generation games from formal specifications. In: Sentovich E (ed) Proceedings of the 43rd design automation conference, DAC 2006, San Francisco, CA, USA, July 24–28, ACM 2006, pp 827–832
5. Barnett M, Leino K. R. M, Schulte W (2004) The Spec# programming system: an overview. In: Construction and analysis of safe, secure and interoperable smart devices (CASSIS), volume 3362 of Lecture Notes in Computer Science, Springer, pp 49–69
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献