GitHub repository: IlyaTuzov/DAVOS
Primary language: HTML
Description: Toolkit for Dependability assessment, verification, optimization and selection of hardware models