Lightweight inference for automation efficiency

We explore the role of lightweight inference techniques in creating highly automated engineering support environments for the development of computer-based systems. Lightweight inference techniques are scalable methods for automated reasoning. We outline the types of automation that would be enabled by effective lightweight inference capabilities and survey some promising approaches to realizing the needed capabilities.