Automated tools for teaching formal software verification

Authors:
Ingo Feinerer;Gernot Salzer
Affiliations:
Institut für Computersprachen, Technische Universität Wien, Vienna, Austria;Institut für Computersprachen, Technische Universität Wien, Vienna, Austria
Venue:
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Year:
2006

Citing 4
Cited 1

The Science of Programming

The Science of Programming
A Discipline of Programming

A Discipline of Programming
PVS: A Prototype Verification System

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

Another approach for resisting student resistance to formal methods

ACM SIGCSE Bulletin

Quantified Score

Hi-index	0.00

Visualization

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.