Automated Tools for Teaching Formal Software Verification

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.

Content

Author and article information

Contributors

Ingo Feinerer

Gernot Salzer

Conference

Publication date: December 2006

Publication date (Print): December 2006

Pages: 1-5

Affiliations

[0001]Institut für Computersprachen

Technische Universität Wien

Karlsplatz 13

A-1040 Vienna, Austria

Article

DOI: 10.14236/ewic/TFM2006.4

SO-VID: b408fa61-72e5-42b9-b0b3-b13029be5651

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Teaching Formal Methods: Practice and Experience

Conference acronym: TFM

Conference number:

Conference location: BCS London Office, UK

Conference date: 15 December 2006

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Teaching Formal Methods: Practice and Experience

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.4

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

Automated Tools for Teaching Formal Software Verification

Abstract