Application of Wu's method to symbolic model checking

DOI10.1145/1073884.1073918zbMATH Open1360.68593OpenAlexW2038864046WikidataQ131120500 ScholiaQ131120500MaRDI QIDQ5262770FDOQ5262770

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

characteristic setWu's methodsymbolic model checking

Mathematics Subject Classification ID

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

Cited In (3)

• Groebner bases based verification solution for SystemVerilog concurrent assertions
• 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

Uses Software

• Maple
• SPIN
• NuSMV

Recommendations

• Symbolic model checking of software 👍 👎
• Symbolic Model Checking in Non-Boolean Domains 👍 👎
• Symbolic and Structural Model-Checking 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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

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