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 setsymbolic model checkingWu's method

Mathematics Subject Classification ID

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

Recommendations

• Application of Wu's method to multi-valued model checking
• Symbolic model checking
• 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
• Symbolic model checking with fewer fixpoint computations
• scientific article; zbMATH DE number 438994
• Experiences with the application of symbolic model checking to the analysis of software specifications

Cited in

(6)

• Groebner bases based verification solution for SystemVerilog concurrent assertions
• Algebraic verification method for SEREs properties via Groebner bases approaches
• 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?)
• A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers

Describes a project that uses

Uses Software

• Maple
• SPIN
• NuSMV

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)