Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
Line 17: Line 17:
<gallery>
<gallery>
File:Example.png|[[Portal:Verification|What is Verification?]]
File:Example.png|[[Portal:Verification|What is Verification?]]
File:GraduationCap.png|[[Portal:Tutorials|Tutorials]]
File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]
File:Books.png|[[Portal:Sources|Sources]]
File:Books.png|[[Portal:Sources|Sources]]
File:Example.png|[[Portal:People|People]]
File:Example.png|[[Portal:People|People]]

Revision as of 18:40, 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