New developments in the theory of Gröbner bases and applications to formal verification - Concepedia

Concepedia

Publication | Closed Access

New developments in the theory of Gröbner bases and applications to formal verification

50

Citations

19

References

2009

Year

Michael Brickenstein, Alexander Dreyer, Gert–Martin Greuel, Markus Wedler, Oliver Wienand

Journal of Pure and Applied Algebra

Formal SpecificationEngineeringGröbner BasesAutomated ReasoningMechanical VerificationVerificationNew DevelopmentsFormal MethodsFormal TechniqueModel CheckingFormal SystemFormal Verification

References

	Year	Citations

Page 1