Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. P. Cousot and R. Cousot, “Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints”, pp.238–252 of Conf. Rec. of 4th ACM Symp. on Principles of Programming Languages (POPL’77), Oct. 1977.
2. B.A. Davey and H.A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1990.
3. A. Jain, “Formal Hardware Verification by Symbolic Trajectory Evaluation”, Ph.D. Thesis supervised by R.E. Bryant, Carnegie-Mellon University, July 1997.
4. G.A. Kildall, “A Unified Approach to Global Program Optimization”, pp.194–206 of Conf. Rec. of 1st ACM Symp. on Principles of Programming Languages (POPL’73), Oct. 1973.
5. K.L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic Trajectory Evaluation;Handbook of Model Checking;2018
2. Terminal Satisfiability in GSTE;Journal of Applied Mathematics;2014
3. A Transformation-Based Approach to Implication of GSTE Assertion Graphs;Journal of Applied Mathematics;2013
4. Overview of Formal Verification;Scalable Techniques for Formal Verification;2010
5. Introduction;Scalable Techniques for Formal Verification;2010