article · Electronic workshops in computing · 2006

Automated Tools for Teaching Formal Software Verification

Cited by 5Open access

Abstract

We present the status of formal methods at our university, and describe our course on formal software verification in more detail. We report our experiences in using Perfect Developer for the course assignments.

Cite this paper

APA 7

Feinerer, I., & Salzer, G. (2006). Automated Tools for Teaching Formal Software Verification. Electronic workshops in computing. https://doi.org/10.14236/ewic/tfm2006.4

MLA 9

Feinerer, Ingo, and Gernot Salzer. “Automated Tools for Teaching Formal Software Verification.” Electronic workshops in computing, 2006, https://doi.org/10.14236/ewic/tfm2006.4.

Chicago

Feinerer, Ingo, and Gernot Salzer. 2006. “Automated Tools for Teaching Formal Software Verification.” Electronic workshops in computing. https://doi.org/10.14236/ewic/tfm2006.4.

Harvard

Feinerer, I. and Salzer, G. (2006) ‘Automated Tools for Teaching Formal Software Verification’, Electronic workshops in computing. Available at: https://doi.org/10.14236/ewic/tfm2006.4.

BibTeX

@article{feinerer2006automated,
  title = {{Automated Tools for Teaching Formal Software Verification}},
  author = {Feinerer, Ingo and Salzer, Gernot},
  journal = {Electronic workshops in computing},
  year = {2006},
  doi = {10.14236/ewic/tfm2006.4}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.