Exploring structural symmetry automatically in symbolic trajectory evaluation

DOI10.1007/S10703-011-0119-ZMaRDI QIDQ453494zbMATH OpenOpenAlexFDO

Authors Yongjian Li, William N. N. Hung, Naiju Zeng, Xiaoyu Song

Publication date 27 September 2012

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-011-0119-z

zbMATH Keywords

symbolic trajectory evaluationsymmetrytheorem proving

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Adaptive Symmetry Reduction
• scientific article; zbMATH DE number 1796126
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 2087620
• A lazy approach to symmetry reduction

Cites work

• A methodology for hardware verification using compositional model checking
• Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
• scientific article; zbMATH DE number 958048 (Why is no real title available?)

Cited in

(2)

• Symbolic exploitation of symmetry in numerical pathfollowing
• Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation

Describes a project that uses

Uses Software

• VIS
• ML

This page was built for publication: Exploring structural symmetry automatically in symbolic trajectory evaluation

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