Application of Wu's method to symbolic model checking

DOI10.1145/1073884.1073918zbMath1360.68593OpenAlexW2038864046MaRDI QIDQ5262770

Jinzhao Wu, Weibo Mao

Publication date: 16 July 2015

Published in: Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1073884.1073918

zbMATH Keywords

symbolic model checkingcharacteristic setWu's method

Mathematics Subject Classification ID

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

Related Items (3)

Algebraic verification method for SEREs properties via Groebner bases approaches ⋮ A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers ⋮ Groebner bases based verification solution for SystemVerilog concurrent assertions

Uses Software

• Maple
• SPIN
• NuSMV

This page was built for publication: Application of Wu's method to symbolic model checking