Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
Line 22: Line 22:
File:Hammer.png|[[Portal:Tools|Tools and Processes]]
File:Hammer.png|[[Portal:Tools|Tools and Processes]]
File:Example.png|[[Portal:Glossary|Glossary]]
File:Example.png|[[Portal:Glossary|Glossary]]
File:Example.png|[[Portal:Events|Events]]
File:Events.png|[[Portal:Events|Events]]
</gallery>
</gallery>



Revision as of 18:28, 22 June 2022

The Verification of Autonomous Systems Body of Knowledge (VAS-BoK) is a project founded by the IEEE Robotics and Automation Society's Technical Committee for Verification of Autonomous Systems (TC-VAS) Education Working Group.

It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems.

About Verification Body of Knowledge

Learn the basics

Verification in practice

Learn More