Symbolic Model Checking Using Algebraic Geometry

  title={Symbolic Model Checking Using Algebraic Geometry},
  author={George S. Avrunin},
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


Publications citing this paper.
Showing 1-10 of 15 extracted citations


Publications referenced by this paper.
Showing 1-10 of 11 references

An Introduction to Grobner Bases, volume 3 of Graduate Studies in Mathematics

  • W. W. Adams, P. Loustaunau
  • 1994
2 Excerpts

Grobner Bases, volume 141 of Graduate Texts in Mathematics

  • T. Becker, V. Weispfenning
  • 1993
2 Excerpts

Ideals, Varieties, and Algorithms. Un- dergraduate Texts in Mathematics

  • D. Cox, J. Little, D. O'Shea
  • 1992
2 Excerpts

On the complexity of VLSI implementations and graph repre- sentations of Boolean functions with application to integer multiplication

  • R. E. Bryant
  • IEEE Trans. Comput.,
  • 1991
1 Excerpt

A criterion for detecting m-regularity

  • D. Bayer, M. Stillman
  • Invent. Math.,
  • 1987
1 Excerpt

Gr obner bases: An algorithmic method in polynomial ideal theory

  • B. Buchberger
  • Multidimensional Systems Theory,
  • 1985
1 Excerpt

The complexity of the word problem for commu- tative semigroups and polynomial ideals

  • E. Mayr, A. Meyer
  • Adv. in Math.,
  • 1982
1 Excerpt

Algebraic Geometry, volume 52 of Graduate Texts in Math- ematics

  • R. Hartshorne
  • 1977
2 Excerpts

Similar Papers

Loading similar papers…