A New Approach for Minimal Environment Construction for Modular Property Verification

@article{Dutta2015ANA,
  title={A New Approach for Minimal Environment Construction for Modular Property Verification},
  author={Saikat Dutta and Soumi Chattopadhyay and Ansuman Banerjee and Pallab Dasgupta},
  journal={2015 IEEE 24th Asian Test Symposium (ATS)},
  year={2015},
  pages={205-210}
}
In this work, we propose a framework for construction of an approximate environment for compositional verification using invariants learned from dynamic traces of the system and the counterexamples generated by a model checker on verifying a property on the component in isolation. We adopt a counterexample ranking methodology for eliminating possibly… CONTINUE READING