Formal Methods

Research Frontiers in Approximate Bisimulation and Quantitative Semantics

Study of metric-based equivalence relations and distance measures between program behaviors to enable verification under approximate correctness criteria.

All Formal Methods PhD categories