SAT-based Induction for Temporal Safety Properties

Armoni, R.; Fix, L.; Fraer, R.; Huddleston, S.; Piterman, N.; Vardi, M.Y.

SAT-based Induction for Temporal Safety Properties (bibtex)

@string{entcs="Electronic Notes in Theoretical Computer Science"}
@string{jul="July"}
@InProceedings{AFFHPV04,
  author = 	 {R. Armoni and L. Fix and R. Fraer and S. Huddleston and N. Piterman and M.Y. Vardi},
  title = 	 {SAT-based Induction for Temporal Safety Properties},
  booktitle = {2nd International Workshop on Bounded Model Checking},
  pages = 	 {3-16},
  year = 	 {2004},
  volume = 	 {119},
  number = 	 {2},
  series = 	 entcs,
  address = 	 {Boston, MA, USA},
  month = 	 jul,
  publisher = {Elsevier},
  url = {2004/AFFHPV04.html},
  pdf = {2004/AFFHPV04.pdf},
  keywords = {Model Checking},
}