Subject
General Computer Science,Theoretical Computer Science
Reference69 articles.
1. Bounded Algol-like languages;Ginsburg;Trans. Amer. Math. Soc.,1964
2. A. Finkel, J. Goubault-Larrecq, Forward analysis for WSTS, Part II: Complete WSTS, Logical Methods in Computer Science 8 (3), http://dx.doi.org/10.2168/LMCS-8(3:28)2012.
3. Symbolic verification with periodic sets;Boigelot,1994
4. Flat acceleration in symbolic model checking;Bardin,2005
5. TReX: a tool for reachability analysis of complex systems;Annichini,2001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Unboundedness via Amalgamation;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. FORWARD ANALYSIS FOR WSTS, PART III: KARP-MILLER TREES;LOG METH COMPUT SCI;2020