Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
Line 18: Line 18:
File:../resources/assets/VASWGLogo.png|link=Portal:Verification|[[Portal:Verification|What is Verification?]]
File:../resources/assets/VASWGLogo.png|link=Portal:Verification|[[Portal:Verification|What is Verification?]]
</gallery>
</gallery>
== Definitions ==


== Learn the basics ==
== Learn the basics ==
* [[Definitions]]
* [[Primer for researchers]]
* [[Primer for researchers]]
* [[Primer for certification and licensing agencies]]
* [[Primer for certification and licensing agencies]]

Revision as of 14:33, 12 March 2022

The Verification of Autonomous Systems Body of Knowledge (VASBoK) 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.

VASBoK's 5 articles have been viewed times.

About Verification Body of Knowledge


Learn the basics

Verification in practice

Learn More