An educational software used to teach English and Portuguese. Designed and implemented with David Carraher and André Santos. A commercial version was produced and is distributed by Editora SENAC (R. Dr. Vila Nova 228, CEP 01222-903, São Paulo, Brazil. E-mail:

FOOPS Proof Assistant and Simulator

A symbolic simulator and a theorem proving tool used to support the process of proving refinement of concurrent object-oriented programs in FOOPS.

VDM to Lazy ML Translator

A rapid prototyping tool used to animate VDM specifications. More details are given in the following article:

Paulo Borba and Silvio Meira. A system for translating executable VDM specifications into Lazy ML. Software-Practice & Experience, 27(3):271-289, March 1997. (Preprint)

Home Page Research Projects Publications Courses Software Consulting Services Seminars Biography Useful Links DI-UFPE