Teaching formal methods in a third world country: what, why and how

Authors:
Maximiliano Cristiá
Affiliations:
U. N. de Rosario
Venue:
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Year:
2006

Citing 10
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Way of Z

Way of Z
Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods
Concurrent Systems: Formal Development in CSP

Concurrent Systems: Formal Development in CSP
An Introduction to Formal Specification and Z

An Introduction to Formal Specification and Z
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
The Z/EVES System

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Why software fails [software failure]

IEEE Spectrum

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have been teaching formal methods for eight years at two major Argentinean universities. It is hard to find examples of the application of formal methods outside the most advanced industrial sectors. Then, why teach formal methods in a country that hardly produce software for advanced industries? Why formal methods in a country which buy technology instead of creating it? We were one of the first in teaching formal methods in Latin America, likely the first in teaching TLA and CSP. Our former students are now pursuing PhD's in several European countries and Argentina. Slowly but steadily our graduates are infiltrating the local industry.