Algebraic verification method for SEREs properties via Groebner bases approaches

DOI10.1155/2013/272781zbMATH Open1267.68147OpenAlexW2044929429WikidataQ59002500 ScholiaQ59002500MaRDI QIDQ2375464FDOQ2375464

Authors: Ning Zhou, Jinzhao Wu, Xinyan Gao 

Publication date: 14 June 2013

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

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Nonperturbative solution of the super-Virasoro constraints
• Application of Wu's method to symbolic model checking
• Finite element approximation of the non-isothermal Stokes-Oldroyd equations
• Title not available (Why is that?)

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)