{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/verifai-a-toolkit-for-the-design-and-analysis","title":"VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems","arxiv_id":"1902.04245","date":"2019-02-12","proceeding":null,"authors":["Tommaso Dreossi","Daniel J. Fremont","Shromona Ghosh","Edward Kim","Hadi Ravanbakhsh","Marcell Vazquez-Chanlatte","Sanjit A. Seshia"],"abstract":"We present VERIFAI, a software toolkit for the formal design and analysis of\nsystems that include artificial intelligence (AI) and machine learning (ML)\ncomponents. VERIFAI particularly seeks to address challenges with applying\nformal methods to perception and ML components, including those based on neural\nnetworks, and to model and analyze system behavior in the presence of\nenvironment uncertainty. We describe the initial version of VERIFAI which\ncenters on simulation guided by formal models and specifications. Several use\ncases are illustrated with examples, including temporal-logic falsification,\nmodel-based systematic fuzz testing, parameter synthesis, counterexample\nanalysis, and data set augmentation.","url_abs":"http://arxiv.org/abs/1902.04245v2","url_pdf":"http://arxiv.org/pdf/1902.04245v2.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"verifai-a-toolkit-for-the-design-and-analysis","repo_url":"https://github.com/BerkeleyLearnVerify/VerifAI","is_official":0,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"tf","reach":{"status":"unanswered"}}],"tasks":[{"task_slug":"machine-learning","task_name":"BIG-bench Machine Learning"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":null,"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}