@misc{indiciae5f69e0f86d25,
  title = {An Efficient Runtime Validation Framework based on the Theory of Refinement},
  author = {Mitesh Jain and Panagiotis Manolios},
  year = {2017},
  url = {https://arxiv.org/abs/1703.05317},
  note = {Source identifier: 1703.05317}
}