DEPSO (DEPendable SOftware) Research Group is a part of the Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
With the goal of improving the productivity, reliability and security of software, we are interested in research topices regarding the theories, methods and technologies needed in software design and analysis.