Skip to content
@iscas-tis

Trustworthy Intelligent Systems Team @ ISCAS

This is TIS team led by Professors Lijun Zhang

Popular repositories Loading

  1. ePMC ePMC Public

    EPMC: An Extendible Probabilistic Model Checker

    JavaScript 14 5

  2. CHA CHA Public

    Scala 14 1

  3. PRODeep PRODeep Public

    PRODeep: A Platform for Robustness Verification of Deep Neural Networks

    C++ 11 3

  4. chisel-formal-verification chisel-formal-verification Public

    Formal verification tools for Chisel and RISC-V

    10 1

  5. roll-library roll-library Public

    Regular Omega Language Learning Library

    Java 9 6

  6. SVMRanker SVMRanker Public

    Python 5

Repositories

Showing 10 of 18 repositories
  • PacPMA Public

    The PAC-based Parametric Model Analyzer

    iscas-tis/PacPMA’s past year of commit activity
    Java 1 GPL-3.0 0 0 0 Updated Nov 11, 2024
  • roll-library Public

    Regular Omega Language Learning Library

    iscas-tis/roll-library’s past year of commit activity
    Java 9 GPL-3.0 6 0 0 Updated Nov 8, 2024
  • riscv-spec-core Public

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

    iscas-tis/riscv-spec-core’s past year of commit activity
    Scala 5 5 0 0 Updated Nov 4, 2024
  • nutshell-fv Public Forked from OSCPU/NutShell

    Formal verification on NutShell using riscv-spec-core

    iscas-tis/nutshell-fv’s past year of commit activity
    Scala 4 240 0 0 Updated Oct 17, 2024
  • CHA Public
    iscas-tis/CHA’s past year of commit activity
    Scala 14 Apache-2.0 1 0 0 Updated Jul 12, 2024
  • chicala Public

    Translate Chisel hardware design code to Scala simulation code.

    iscas-tis/chicala’s past year of commit activity
    Scala 0 0 0 0 Updated Jul 11, 2024
  • chisel-formal-verification Public

    Formal verification tools for Chisel and RISC-V

    iscas-tis/chisel-formal-verification’s past year of commit activity
    10 1 0 0 Updated Jul 2, 2024
  • ePMC Public

    EPMC: An Extendible Probabilistic Model Checker

    iscas-tis/ePMC’s past year of commit activity
    JavaScript 14 GPL-3.0 5 2 1 Updated Jun 16, 2022
  • deepg Public Forked from eth-sri/deepg

    Certifying Geometric Robustness of Neural Networks

    iscas-tis/deepg’s past year of commit activity
    Python 0 Apache-2.0 7 0 0 Updated Dec 5, 2020
  • PRODeep Public

    PRODeep: A Platform for Robustness Verification of Deep Neural Networks

    iscas-tis/PRODeep’s past year of commit activity
    C++ 11 GPL-3.0 3 0 0 Updated Nov 11, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…