Exploring structural symmetry automatically in symbolic trajectory evaluation

DOI10.1007/S10703-011-0119-ZzbMATH Open1247.68168OpenAlexW2077936210MaRDI QIDQ453494FDOQ453494

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

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

zbMATH Keywords

symmetrytheorem provingsymbolic trajectory evaluation

Mathematics Subject Classification ID

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

Cites Work

• A methodology for hardware verification using compositional model checking
• Title not available (Why is that?)
• Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation

Cited In (2)

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

Uses Software

• ML
• VIS

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)