Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation

DOI10.1007/11817963_20zbMath1188.68199OpenAlexW1569576087MaRDI QIDQ5756739

Orna Grumberg, Rachel Tzoref

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)

Related Items (5)

Abstraction and Abstraction Refinement ⋮ Symbolic Trajectory Evaluation ⋮ 3-Valued Circuit SAT for STE with Automatic Refinement ⋮ Exploring structural symmetry automatically in symbolic trajectory evaluation ⋮ Efficient Automatic STE Refinement Using Responsibility

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