VASBoK:About

The Verification of Autonomous Systems Body of Knowledge is a wiki established to provide a curated repository of educational resources for researchers, practitioners, and the general public.

The What is Verification? section introduces the topic and investigates the different ways people approach the topic.

The Tutorials section contains links to tutorials for specific tools and processes.

The Sources section connects the site user to papers, books, software tools and other resources.

The People section identifies individuals with specific expertise within the field.

The Tools and Processes section focuses on helping the user understand the various tools and processes available to support verification of autonomous systems.

The Glossary captures the terminology and definitions relevant to the topic and provides a space for discussion and explanation of the different ways that different interested parties use the various terms. It also provides links to the definitions used in different standards, and provides a centralized location for other pages on the site to link to terms.

The Events section provides links to past events.