ARIA

Contents:

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

Getting Started

  • Tutorial
    • Getting Started
    • Practical Examples
    • Advanced Features
    • Best Practices
  • Quick Reference
    • Variables
    • Operators
    • Solver Operations
    • SRK Operations
    • Advanced Operations
    • Type Shorthands
    • Common Patterns
    • Environment Variables
    • Error Handling
    • Performance Tips
    • Getting Help
  • Research Topics and Thesis Projects
    • Core Algorithm Development
    • Theory-Specific Solving
    • AI-Enhanced Reasoning
    • Advanced Sampling & Enumeration
    • Quantifier Handling
    • Applications & Tools
    • Getting Started
  • Playing wiht Program Verification with EFMC
    • 1. Setup and Installation
    • 2. Understanding Input Formats
    • 3. Basic Verification
    • 4. Advanced Verification Techniques
    • 5. Best Practices
    • 6. Example Workflow
    • 7. References
Previous Next

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

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