Explore @iscas-tis Open Source projects

Trustworthy Intelligent Systems Team @ ISCAS (@iscas-tis)

iscas-tis

Stars
74
Global Org. Rank 66,506 (Top 22 %)
Registered about 7 years ago
Most used languages

Java
28.6 %

Scala
28.6 %

JavaScript
14.3 %

Python
14.3 %

C++
14.3 %
Location 🇨🇳 China
Country Total Rank 34,433
Country Ranking

Scala
160

C++
5,843

CHA

ePMC

EPMC: An Extendible Probabilistic Model Checker

PRODeep

PRODeep: A Platform for Robustness Verification of Deep Neural Networks

chisel-formal-verification

Formal verification tools for Chisel and RISC-V

roll-library

Regular Omega Language Learning Library

riscv-spec-core

Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.

SVMRanker

RABIT

Buchi Inclusion Testing Tool from http://www.languageinclusion.org/doku.php