Symbolic Model Checking Using Algebraic Geometry

Authors:
George S. Avrunin
Affiliations:
-
Venue:
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Year:
1996

Citing 0
Cited 2

Groebner bases computation in Boolean rings for symbolic model checking

MOAS'07 Proceedings of the 18th conference on Proceedings of the 18th IASTED International Conference: modelling and simulation
Groebner bases computation in Boolean rings for symbolic model checking

MS '07 The 18th IASTED International Conference on Modelling and Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract