Author:
Brain Martin,D’Silva Vijay,Griggio Alberto,Haller Leopold,Kroening Daniel
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference70 articles.
1. Akbarpour B, Abdel-Hamid A, Tahar S, Harrison J (2010) Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL. Comput J 53(4):465–488
2. Ayad A, Marché C (2010) Multi-prover verification of floating-point programs. In: Proc of international joint conference on automated reasoning. Springer, Berlin, pp 127–141
3. Badban B, van de Pol J, Tveretina O, Zantema H (2007) Generalizing DPLL and satisfiability for equalities. Inf Comput 205(8):1188–1211
4. Barrett C, Nieuwenhuis R, Oliveras A, Tinelli C (2006) Splitting on demand in SAT modulo theories. In: Proc of logic programming, artificial intelligence and reasoning, pp 512–526
5. Barrett C, Sebastiani R, Seshia SA, Tinelli C (2009) Satisfiability modulo theories. In: Handbook of satisfiability. IOS Press, Amsterdam, pp 825–885
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献