You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Working on compositional-analysis branch. Multiprocessing code to generate traces monolithically.
Coding tests to analyze benefits of compositional analysis vs. monolithic.
About
Fork for Compositional Analysis research. VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.