Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Clarke, E., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2), 244–263 (1986)
2. Cousot, P.: Abstract interpretation. ACM Computing Surveys 28(2), 324–328 (1996)
3. Cousot, P.: Types as abstract interpretations. In: Proceedings of POPL, pp. 316–331. ACM, New York (1997)
4. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixedpoints. In: Proceedings of 4th POPL, pp. 238–252. ACM, New York (1977)
5. Lecture Notes in Computer Science;P. Cousot,1992
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02
2. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017
3. Tactics for the Dafny Program Verifier;Tools and Algorithms for the Construction and Analysis of Systems;2016