ARIA

Contents:

  • Getting Started
    • Tutorial
    • Quick Reference
    • Research Topics and Thesis Projects
    • Program Verification with EFMC
  • Logic and Solving
  • Proofs and Explanations
  • Quantified Reasoning
  • Automata and Languages
  • Verification
  • Abstraction
  • Counting, Sampling, and Probability
  • Program Synthesis
  • Logic Programming
  • LLM and ML
  • CLI and Tools
  • Global Parameters
ARIA
  • Getting Started
  • View page source

Getting Started

  • Tutorial
    • Installation
    • Main package areas
    • Current CLI workflow
    • Examples of current Python APIs
    • Verification with EFMC
    • Where to go next
  • Quick Reference
    • Installation
    • Useful Python entrypoints
    • Verification and CLI workflows
    • Package map
  • Research Topics and Thesis Projects
    • Core algorithm development
    • Theory-specific solving
    • AI-enhanced reasoning
    • Advanced sampling and enumeration
    • Quantifier handling
    • Applications and tools
    • Getting started
  • Program Verification with EFMC
    • Setup
    • Supported frontends
    • Supported engines
    • Typical commands
    • Results
    • Related entrypoints
    • Notes
Previous Next

© Copyright 2024-2025, ZJU Programming Languages and Automated Reasoning Group.

Built with Sphinx using a theme provided by Read the Docs.