@misc{indiciae43c95a7c4adb,
  title = {A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract)},
  author = {Rob Sumners},
  year = {2018},
  doi = {10.4204/eptcs.280.7},
  url = {https://arxiv.org/abs/1811.02005},
  note = {Source identifier: 1811.02005}
}