Efficient Automatic STE Refinement Using Responsibility

DOI10.1007/978-3-540-78800-3_17MaRDI QIDQ5458330zbMATH OpenOpenAlexFDO

Authors Hana Chockler, Orna Grumberg, Avi Yadgar

Publication date 11 April 2008

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78800-3_17

Mathematics Subject Classification ID

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

Recommendations

• Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
• 3-Valued Circuit SAT for STE with Automatic Refinement
• Symbolic trajectory evaluation for word-level verification: theory and implementation
• scientific article; zbMATH DE number 1979544
• Symbolic trajectory evaluation

Cites work

• {{#invoke:WikidataIB|getLink|Q2754081}} scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q4326390}} scientific article; zbMATH DE number 734956 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q4817544}} scientific article; zbMATH DE number 2102706 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q5715677}} scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q3510816}} 3-Valued Circuit SAT for STE with Automatic Refinement
• {{#invoke:WikidataIB|getLink|Q5756739}} Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
• {{#invoke:WikidataIB|getLink|Q5277809}} What causes a system to satisfy a specification?

Cited in

(3)

• Symbolic trajectory evaluation
• Abstraction and abstraction refinement
• Explaining counterexamples using causality

This page was built for publication: Efficient Automatic STE Refinement Using Responsibility

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