Share This Author
A Fast Linear-Arithmetic Solver for DPLL(T)
- B. Dutertre, L. D. Moura
- Computer ScienceCAV
- 17 August 2006
TLDR
The YICES SMT Solver
- B. Dutertre, L. D. Moura
- Computer Science
- 2006
TLDR
Yices 2.2
- B. Dutertre
- Computer ScienceCAV
- 18 July 2014
TLDR
Lightweight Key Management in Wireless Sensor Networks by Leveraging Initial Trust
- B. Dutertre, S. Cheung, Joshua Levy
- Computer Science
- 2004
TLDR
Integrating Simplex with DPLL(T )
- B. Dutertre, L. D. Moura
- Computer Science
- 2006
TLDR
A Tutorial on Satisfiability Modulo Theories
- L. D. Moura, B. Dutertre, N. Shankar
- Computer ScienceCAV
- 3 July 2007
TLDR
Using Model-based Intrusion Detection for SCADA Networks
- S. Cheung, B. Dutertre, Martin W. Fong, U. Lindqvist, K. Skinner, A. Valdes
- Computer Science
- 2006
TLDR
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
- B. Dutertre, M. Sorea
- Computer ScienceFORMATS/FTRTFT
- 22 September 2004
TLDR
Property-directed k-induction
- Dejan Jovanovic, B. Dutertre
- Computer ScienceFormal Methods in Computer-Aided Design (FMCAD)
- 3 October 2016
TLDR
...
...