Algebraic verification method for SEREs properties via Groebner bases approaches

DOI10.1155/2013/272781zbMath1267.68147OpenAlexW2044929429WikidataQ59002500 ScholiaQ59002500MaRDI QIDQ2375464

Xinyan Gao, Ning Zhou, Jinzhao Wu

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

zbMATH Keywords

computer algebra systemGroebner basessymbolic simulationlinear temporal properties verificationsynchronous digital systems

Mathematics Subject Classification ID

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

Related Items (1)

Groebner bases based verification solution for SystemVerilog concurrent assertions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• NON-PERTURBATIVE SOLUTION OF THE SUPER-VIRASORO CONSTRAINTS
• Application of Wu's method to symbolic model checking

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