Verifier of neural nets or Vern for short (from Old Norse, meaning protection and shield) is a neural network verifier. Vern's focus is LTL verification of memroyful neural networks, such as Recurrent Neural Networks (RNNs) and State-Space Models (SSMs).
You can cite Vern as
@inproceedings{HosseiniL23,
title = {Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments},
author = {Hosseini, Mehran and Lomuscio, Alessio},
booktitle = {The 22nd International Conference on Autonomous Agents and Multiagent Systems, {AAMAS}},
pages = {2382--2384},
publisher = {{ACM}},
year = {2023}
}