Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation

DOI10.1007/11817963_20MaRDI QIDQ5756739zbMATH OpenOpenAlexFDO

Authors Rachel Tzoref, Orna Grumberg

Publication date 5 September 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11817963_20

Mathematics Subject Classification ID

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

Recommendations

• Exploring structural symmetry automatically in symbolic trajectory evaluation
• Static Analysis
• Formal Methods for Hardware Verification
• scientific article; zbMATH DE number 1979544
• Symbolic trajectory evaluation
• Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics
• A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
• scientific article; zbMATH DE number 2102706
• Correct Hardware Design and Verification Methods

Cited in

(10)

• Abstraction and abstraction refinement
• Symbolic trajectory evaluation
• 3-Valued Circuit SAT for STE with Automatic Refinement
• scientific article; zbMATH DE number 1979544 (Why is no real title available?)
• Exploring structural symmetry automatically in symbolic trajectory evaluation
• scientific article; zbMATH DE number 2102706 (Why is no real title available?)
• scientific article; zbMATH DE number 7075870 (Why is no real title available?)
• Symbolic trajectory evaluation for word-level verification: theory and implementation
• Efficient Automatic STE Refinement Using Responsibility
• Static Analysis

This page was built for publication: Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation

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