Automatability

Montague adopted a very strong notion of systematicity and regularity in translation, much stronger than mere effective computability of the translation function (i.e., automatability in principle).

All of these cases raise the issue of computer supportability and automatability of proof procedures.

To validate the applicability of Furcas in practice as well as the automatability of certain aspects, such as the automatic inversion of OCL query expressions, several academic as well as industrial case studies were conducted….