ARIA

Contents:

  • Getting Started
  • Logic and Solving
  • Proofs and Explanations
  • Quantified Reasoning
  • Automata and Languages
    • Automata
    • Introduction
    • Components
    • Applications
    • References
    • AALpy
    • Context-Free Language Reachability
    • Introduction
    • Components
    • Applications
    • References
    • CFL OBDD (Context-Free Language Ordered Binary Decision Diagrams)
  • Verification
  • Abstraction
  • Counting, Sampling, and Probability
  • Program Synthesis
  • LLM and ML
  • CLI and Tools
  • Global Parameters
ARIA
  • Automata and Languages
  • View page source

Automata and Languages

  • Automata
  • Introduction
    • Key Features
  • Components
    • Finite Automata (aria/automata/fa.py)
    • Symbolic Automata (aria/automata/symautomata)
    • Automata Learning (aria/automata/fa_learning.py)
    • Vendored AALpy (aria/automata/aalpy)
  • Applications
  • References
  • AALpy
    • Overview
    • Typical Usage
    • Notes
    • API Reference
  • Context-Free Language Reachability
  • Introduction
    • Key Features
  • Components
    • CFL Solvers (aria/cfl/cfl_solver.py)
    • Dynamic Transitive Closure (aria/cfl/cfl_dtc.py, aria/cfl/dtc.py)
    • Grammar Support (aria/cfl/grammar.py)
    • Matrix-Based Algorithms (aria/cfl/matrix.py, aria/cfl/pag_matrix.py)
    • Strong Component Reduction (aria/cfl/sc_solver.py)
  • Applications
  • References
  • CFL OBDD (Context-Free Language Ordered Binary Decision Diagrams)
    • Directory Structure
    • Key Concepts
    • Key Components
    • Usage Examples
    • Module Purpose Summary
    • Key Features
    • Size Statistics
    • Source Attribution
    • Notes
Previous Next

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

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