Highly Influenced

# Symbolic Model Checking Using Algebraic Geometry

@inproceedings{Avrunin1996SymbolicMC, title={Symbolic Model Checking Using Algebraic Geometry}, author={George S. Avrunin}, booktitle={CAV}, year={1996} }

- Published 1996 in CAV
DOI:10.1007/3-540-61474-5_55

In this paper I show that methods from computational algebraic geom etry can be used to carry out symbolic model checking using an encoding of Boolean sets as the common zeros of sets of polynomials This approach could serve as a useful supplement to symbolic model checking methods based on Ordered Binary Decision Diagrams and may provide important theoretical insights by bringing the powerful mathematical machinery of algebraic geometry to bear on the model checking problemÂ

Highly Cited

This paper has 20 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

15 Citations

11 References

Similar Papers