8000 ZJU Programming Languages and Automated Reasoning Group · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@ZJU-Automated-Reasoning-Group

ZJU Programming Languages and Automated Reasoning Group

README.md

🔬 Research Areas

  • Program Analysis & Verification
  • Program Synthessis & Optimizations
  • Logic & Automated Reasoning
  • Software & System Security

🛠️ Open-Source Projects

  • lotus ⭐ 22 - Program analysis and verification framework
  • arlib ⭐ 11 - Automated reasoning library
  • efmc ⭐ 5 - Software model checker
  • smtfuzz ⭐ 19 - Fuzzer for SMT solvers

🔬 研究方向

  • 程序分析与验证
  • 程序合成与优化
  • 逻辑与自动推理
  • 软件与系统安全

🛠️ 开源项目

  • lotus ⭐ 22 - 程序分析与验证框架
  • arlib ⭐ 11 - 自动推理库
  • efmc ⭐ 5 - 软件模型检查
  • smtfuzz ⭐ 19 - SMT求解器模糊测试工具

Popular repositories Loading

  1. lotus lotus Public

    Forked from qingkaishi/canary

    Program analysis and verification framework

    C++ 22 6

  2. smtfuzz smtfuzz Public

    A fuzzer for SMT solvers

    Python 19 3

  3. arlib arlib Public

    Automated Reasoning Lib

    Python 11 3

  4. efmc efmc Public

    Software Model Checking via Exists-Forall Solving

    Slash 5 1

  5. pyomt pyomt Public

    A library for Optimization Modulo Theories (OMT) solving

    Python 4

  6. RepoAudit RepoAudit Public

    Forked from PurCL/RepoAudit

    An autonomous LLM-agent for large-scale, repository-level code auditing

    Python 1

Repositories

Showing 9 of 9 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0