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

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

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 (5)

• 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
• Title not available (Why is that?)

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)