References
Sheeran M, Singh S, Stalmarck G (2000) Checking safety properties using induction and a sat-solver. In: Hunt WA, Johnson SD (eds) Proceedings of the inernational conference on formal methods in computer-aided design (FMCAD 2000)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Biere, A., Strichman, O. Introductory paper. Int J Softw Tools Technol Transfer 7, 87–88 (2005). https://doi.org/10.1007/s10009-004-0186-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-004-0186-1