Fillmore Software

Fillmore is a research project aimed at developing tools for software specification and verification based on relational specification techniques and using tabular notations.

The principal investigators in this project are:

• Dennis Peters (dpeters at mun dot ca)
  Faculty of Engineering & Applied Science
  Memorial University of Newfoundland
  St. John's, NL
  Canada
• Mark Lawford (lawford at mcmaster dot ca)
  Dept. of Computing and Software
  Faculty of Engineering
  McMaster University
  1280 Main St. W.
  Hamilton, ON
  Canada

For more information about Fillmore Software please contact one of the above individuals.

• Content dictionaries
• Distribution

Last modified: Sat Dec 31 13:42:56 NST 2011 by Dennis Peters