Skip to content


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:

  • CHASE: A framework for contract-based requirement engineering for cyber-physical system design
  • ArchEx: A software toolkit for for the design space exploration of cyber-physical system architectures
  • SatEX: A Satisfiability Modulo Convex Programming solver (see also the CalCS project)
  • SCAnS: A software toolkit for requirement engineering based on stochastic contracts