In addition to hardware prototypes, my collaborators and I have developed several software toolkits related to cyber-physical system design automation as well as formal methods and their applications. Here are some software packages that we actively develop and support:
- ArchEx: A software toolkit for for the design space exploration of cyber-physical system architectures.
- CHASE: A framework for contract-based requirement engineering for cyber-physical system design.
- Fun-SAT: An open-source SAT-based attack tool against sequential logic locking of integrated circuits.
- SatEX: A Satisfiability Modulo Convex Programming solver (see also the CalCS project).
- SCAnS: A software toolkit for requirement engineering based on stochastic contracts.