Check out our research projects
Graceful Degradation of Architecture
Decomposing STL for Safe Planning
AlloyMax - Bringing Maximum Satisfaction to Relational Specifications
Formalization and Automation of STPA with Robustness (FASR)
FairSense: Long-term Fairness Analysis of ML-Enabled Systems
A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Mental Model Finite State Machines
Improving Formal Methods Visualizations
Behavioral Robustness of Software System Designs
Recomposition: A New Technique for Efficient Compositional Verification
Design-Time Computation of the Recoverability of a System
Transition-Based Robustness for Distributed and Cyber-Physical Systems