Universal Operations for Compositional Design

An automated framework for studying universal assume-guarantee contract operators.

Developing an automated framework for studying universal assume-guarantee contract operators, replacing error-prone manual evaluation of three-valued logic across nested compositions.
Implementing a recursive abstract-syntax-tree evaluator that enumerates ternary inputs, generates truth tables, and analyzes operator properties and behavioral equivalence across configurable expression depths.
Building diagrams and animations to trace composition structures and logical transitions, using weekly research reviews to diagnose anomalous cases, validate computational results, and refine evaluation methods.

Tech stack