Signe: Created page with "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 se..."

2022-07-11T19:25:22Z

Created page with "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 se..."

New page

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 [[Portal:Verification|What is Verification?]] section introduces the topic and investigates the different ways people approach the topic.

The [[Portal:Tutorials|Tutorials]] section contains links to tutorials for specific tools and processes.

The [[Portal:Sources|Sources]] section connects the site user to papers, books, software tools and other resources.

The [[Portal:People|People]] section identifies individuals with specific expertise within the field.

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

The [[Portal:Glossary|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 [[Portal:Events|Events]] section provides links to past events.

VASBoK:About - Revision history