Author:
Bansal Kshitij,Reynolds Andrew,Barrett Clark,Tinelli Cesare
Publisher
Springer International Publishing
Reference14 articles.
1. Bansal, K.: Decision Procedures for Finite Sets with Cardinality and Local Theory Extensions. Ph.D. thesis, New York University, January 2016
2. Lecture Notes in Computer Science;C Barrett,2011
3. Barrett, C., Sebastiani, R., Seshia, S., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., Heule, M.J.H., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, vol. 185, pp. 825–885, chapter 26. IOS Press, February 2009
4. Blanc, R.W., Kneuss, E., Kuncak, V., Suter, P.: An overview of the Leon verification system: verification by translation to recursive functions. In: Scala Workshop (2013)
5. Monographs in Computer Science;D Cantone,2001
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Succinct ordering and aggregation constraints in algebraic array theories;Journal of Logical and Algebraic Methods in Programming;2024-08
2. Deciding Boolean Separation Logic via Small Models;Lecture Notes in Computer Science;2024
3. SMT-Based Verification of NGAC Policies;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06
4. Containers for Specification in SPARK;ACM SIGAda Ada Letters;2023-04-05
5. Symbolic Model Checking for TLA+ Made Faster;Tools and Algorithms for the Construction and Analysis of Systems;2023