Skip to content
@verivital

The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)

@ttj of Institute for Software Integrated Systems, Electrical Engineering & Computer Science, Vanderbilt University

Pinned Loading

  1. nnv nnv Public

    Neural Network Verification Software Tool https://www.verivital.com Documentation:

    MATLAB 147 64

  2. hyst hyst Public

    HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

    Java 16 17

  3. hautlearn hautlearn Public

    MATLAB 3 2

  4. hynger hynger Public

    MATLAB

  5. rtreach rtreach Public

    MATLAB 2 1

Repositories

Showing 10 of 81 repositories
  • behaverify Public

    BehaVerify: A Formal Verification Tool for Behavior Trees

    verivital/behaverify's past year of commit activity
    Python 30 MIT 10 4 0 Updated Oct 23, 2026
  • n2v Public Forked from sammsaski/n2v

    A Python implementation of the Neural Network Verification (NNV) tool.

    verivital/n2v's past year of commit activity
    Python 0 6 0 0 Updated Jul 6, 2026
  • neural-automata Public Forked from sammsaski/neural-automata

    Neurosymbolic Automata

    verivital/neural-automata's past year of commit activity
    Python 0 2 0 0 Updated Jul 2, 2026
  • nnv Public

    Neural Network Verification Software Tool https://www.verivital.com Documentation:

    verivital/nnv's past year of commit activity
    MATLAB 147 64 32 3 Updated Jun 30, 2026
  • CORA Public Forked from TUMcps/CORA

    Toolbox for Reachability Analysis

    verivital/CORA's past year of commit activity
    MATLAB 1 GPL-3.0 45 0 0 Updated Jun 8, 2026
  • KenKen-Sudoku-VLM-Benchmarks Public Forked from Kiguli/KenKen-Sudoku-VLM-Benchmarks

    A benchmark set of NP-Complete Puzzles for the purpose of testing VLMs and Neuro-Symbolic Approaches.

    verivital/KenKen-Sudoku-VLM-Benchmarks's past year of commit activity
    Python 0 3 0 0 Updated Jun 6, 2026
  • smvis Public

    Symbolic model visualizer: generate visual graphs for symbolic model verifier (SMV) models

    verivital/smvis's past year of commit activity
    Python 2 MIT 0 0 0 Updated May 23, 2026
  • ARCH-COMP2026 Public Forked from Kiguli/ARCH-COMP2026

    ARCH AINNCS Friendly Competition 2026 - Benchmark Description

    verivital/ARCH-COMP2026's past year of commit activity
    MATLAB 0 3 0 0 Updated Mar 26, 2026
  • ARCH-COMP2025 Public

    ARCH AINNCS Friendly Competition 2025 - Benchmark Description

    verivital/ARCH-COMP2025's past year of commit activity
    MATLAB 2 3 2 0 Updated Mar 25, 2026
  • rustreach Public Forked from npotteig/rustreach

    A real time reachability tool written in Rust

    verivital/rustreach's past year of commit activity
    Rust 0 3 0 0 Updated Mar 22, 2026
View all repositories