Program Supervision : Yakl and Pegase+ Reference and User Manual

This document describes concepts and tools that we have developed for the program supervision task. The first part is a reference manual, which introduces the concepts involved in this task as well as the proposed knowledge language and inference engine to achieve this task. The second part is a user's manual, which details both the Yakl description language and the Pegase+ engine. It also provides examples and methodological recommendations to develop a program supervision system with Yakl and Pegase+.