Check out our research projects
Decomposing STL for Safe Planning
Verification of Secure Multiparty Computation Deployments with Domain Context
AlloyMax - Bringing Maximum Satisfaction to Relational Specifications
FairSense: Long-term Fairness Analysis of ML-Enabled Systems
Visualizations of Formal Specifications
Behavioral Robustness of Software System Designs
Recomposition: A New Technique for Efficient Compositional Verification
Transition-Based Robustness for Distributed and Cyber-Physical Systems
