Author:
Déharbe David,Ranise Silvio
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference23 articles.
1. Armando, A., Bonacina, M.P., Ranise, S., Schulz, S.: On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal. ACM TOCL 10(1), (2009)
2. Armando A., Ranise S., Rusinowitch M.: A rewriting approach to satisfiability procedures. Inf. Comput. 183(2), 140–164 (2003)
3. Ball, T., Rajamani, S.K.: Automatically validating temporal safety properties of interfaces. In: Proceedings of SPIN 2001. Lecture Notes in Computer Science, vol. 2057, pp. 103–122 (2001)
4. Boyer R., Moore J.S.: Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic. Mach. Intell. 11, 83–124 (1988)
5. Couchot J.F., Déharbe D., Giorgetti A., Ranise S.: Scalable automated proving and debugging of set-based specifications. J. Braz. Comput. Soc. 9(2), 17–36 (2003)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献