Difference between revisions of "History"
Jump to navigation
Jump to search
(Created page with "== History of Verification of Autonomous Systems == <Summary of this page> === Prior Work in Related Fields === <Bit of text about different fields' related work> ==== Software Assurance ==== <Summary of relevant work in software assurance> ==== Formal Methods ==== <Summary of work in formal approaches to assurance and verification prior to application to autonomous systems> === Early Activities === <Discussion of the Verification of Autonomous Systems Working G...") |
|||
| Line 21: | Line 21: | ||
=== Developing As A Field === | === Developing As A Field === | ||
<TC | <Text about maturation, current state, pointer to roadmap?> | ||
==== IEEE Technical Committee ==== | |||
<Formation of TC> | |||
==== IEEE Standards Development ==== | |||
<Standards development> | |||
Revision as of 12:37, 28 June 2022
History of Verification of Autonomous Systems
<Summary of this page>
Prior Work in Related Fields
<Bit of text about different fields' related work>
Software Assurance
<Summary of relevant work in software assurance>
Formal Methods
<Summary of work in formal approaches to assurance and verification prior to application to autonomous systems>
Early Activities
<Discussion of the Verification of Autonomous Systems Working Group (VASWG)>
Developing As A Field
<Text about maturation, current state, pointer to roadmap?>
IEEE Technical Committee
<Formation of TC>
IEEE Standards Development
<Standards development>