Application of Wu's method to symbolic model checking

DOI10.1145/1073884.1073918MaRDI QIDQ5262770zbMATH OpenOpenAlexWikidataFDO

Authors Weibo Mao, Jinzhao Wu

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)

Recommendations

• Application of Wu's method to multi-valued model checking
• scientific article; zbMATH DE number 1507203
• Symbolic and structural model-checking
• Symbolic model checking in non-Boolean domains
• The automatic verification using symbolic model-checking
• scientific article; zbMATH DE number 2020179
• Symbolic model checking of software
• scientific article; zbMATH DE number 1487478
• scientific article; zbMATH DE number 438994
• scientific article; zbMATH DE number 1630128

Cited in

(6)

• 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
• Application of Wu's method to multi-valued model checking
• Wu's characteristic set method for SystemVerilog assertions verification
• scientific article; zbMATH DE number 2165698 (Why is no real title available?)

Describes a project that uses

Uses Software

• NuSMV
• SPIN
• Maple

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)