Algebraic verification method for SEREs properties via Groebner bases approaches

DOI10.1155/2013/272781MaRDI QIDQ2375464zbMATH OpenOpenAlexWikidataFDO

Authors Ning Zhou, Jinzhao Wu, Xinyan Gao

Publication date 14 June 2013

Published in Journal of Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1155/2013/272781

zbMATH Keywords

Groebner basessymbolic simulationcomputer algebra systemlinear temporal properties verificationsynchronous digital systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Groebner bases based verification solution for SystemVerilog concurrent assertions
• New developments in the theory of Gröbner bases and applications to formal verification
• scientific article; zbMATH DE number 5181778
• Model checking technology and tool development based on Groebner base
• Algebraic process verification.

Cites work

• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 627766 (Why is no real title available?)
• Application of Wu's method to symbolic model checking
• Finite element approximation of the non-isothermal Stokes-Oldroyd equations
• Nonperturbative solution of the super-Virasoro constraints

Cited in

(2)

• Groebner bases based verification solution for SystemVerilog concurrent assertions
• Wu's characteristic set method for SystemVerilog assertions verification

This page was built for publication: Algebraic verification method for SEREs properties via Groebner bases approaches

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2375464)