Clairvoyant: a synthesis system for production-based specification.

Andrew Seawright Forrest Brewer

Published in: IEEE Trans. Very Large Scale Integr. Syst. (1994)

Keyphrases

image sequences
high level
production system
formal specification
specification language
production process
program synthesis
face recognition
production planning
manufacturing processes
provably correct