Skip to content
@ZJU-PL

ZJU Programming Languages and Automated Reasoning Group

README.md

🔬 Research Areas

  • Program Analysis & Verification
  • Program Synthesis & Optimizations
  • Logic & Automated Reasoning

🛠️ Open-Source Projects

  • lotus - Pogram analysis and verification framework
  • efmc - SMT-based software model checker
  • RepoAudit++ - LLM-driven repol-level code auditor
  • arlib - Library for automated reasoning
  • pyomt - Library for Optimization Modulo Theories

🔬 研究方向

  • 程序分析与验证
  • 程序合成与优化
  • 逻辑与自动推理

🛠️ 开源项目

  • lotus - 程序分析与验证框架
  • efmc - 软件模型检查器
  • RepoAudit++ - LLM驱动的仓库级代码审计
  • arlib - 自动推理库
  • pyomt - OMT求解器

Popular repositories Loading

  1. aria aria Public

    Automated Reasoning Infrastructure & Applications

    Python 12 5

  2. lotus lotus Public

    A program analysis, verification, and optimization framework

    C++ 12 2

  3. efmc efmc Public

    Software model checking via exists-forall solving

    SMT 6 3

  4. RepoAudit RepoAudit Public

    Forked from PurCL/RepoAudit

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

    Python 5

  5. pyflow pyflow Public

    Python 5 1

  6. veripy veripy Public

    Auto-Active Verifier for Python

    Python 3

Repositories

Showing 8 of 8 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…