Highly Influenced

# Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification

@inproceedings{Seshia2005AdaptiveEB, title={Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification}, author={Sanjit A. Seshia}, year={2005} }

- Published 2005

Decision procedures for first-order logics are widely applicable in design verification and static program analysis. However, existing procedures rarely scale to large systems, especially for verifying properties that depend on data or timing, in addition to control. This thesis presents a new approach for building efficient, automated decision procedures for first-order logics involving arithmetic. In this approach, decision problems involving arithmetic are transformed to problems in the… CONTINUE READING

Highly Cited

This paper has 24 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

16 Extracted Citations

0 Extracted References

Similar Papers