Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
(Fixing gallery images - when final images decided on, first upload image files, then replace image name in appropriate line of "<gallery>".)
Line 20: Line 20:
File:Example.png|[[Portal:Sources|Sources]]
File:Example.png|[[Portal:Sources|Sources]]
File:Example.png|[[Portal:People|People]]
File:Example.png|[[Portal:People|People]]
File:Example.png|[[Portal:Tools|Tools]]
File:Example.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:Example.png|[[Portal:Events|Events]]

Revision as of 12:24, 31 May 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