Exploring structural symmetry automatically in symbolic trajectory evaluation

DOI10.1007/S10703-011-0119-ZzbMath1247.68168OpenAlexW2077936210MaRDI QIDQ453494

William N. N. Hung, Naiju Zeng, Yongjian Li, 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

symmetrytheorem provingsymbolic trajectory evaluation

Mathematics Subject Classification ID

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

Uses Software

• VIS
• Unnamed Item

Cites Work

• Unnamed Item
• A methodology for hardware verification using compositional model checking
• Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation

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