Reverse Dependencies of verifai

The following projects have a declared dependency on verifai:

• scenic — The Scenic scenario description language.
• verifai — A toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.