Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless

@inproceedings{Hu2007SimulationVF,
  title={Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless},
  author={Alan J. Hu},
  booktitle={Haifa Verification Conference},
  year={2007}
}
Pre-Images Concrete Simulation Trace 3 2 1 0 α( ) α( ) α( ) α( ) α( ) target