All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Verification Body of Knowledge. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 15:15, 12 August 2022 User account DewayneBrock42 talk contribs was created
- 19:25, 11 July 2022 Signe talk contribs created page VASBoK:About (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...")
- 12:35, 28 June 2022 Signe talk contribs created page History (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...")
- 19:32, 22 June 2022 Signe talk contribs created page File:People.png
- 19:32, 22 June 2022 Signe talk contribs uploaded File:People.png
- 19:24, 22 June 2022 Signe talk contribs created page File:Question.png
- 19:24, 22 June 2022 Signe talk contribs uploaded File:Question.png
- 19:21, 22 June 2022 Signe talk contribs created page File:Books2.png
- 19:21, 22 June 2022 Signe talk contribs uploaded File:Books2.png
- 19:04, 22 June 2022 Signe talk contribs created page File:Glossary.png
- 19:04, 22 June 2022 Signe talk contribs uploaded File:Glossary.png
- 18:48, 22 June 2022 Signe talk contribs created page File:Hammer2.png
- 18:48, 22 June 2022 Signe talk contribs uploaded File:Hammer2.png
- 18:39, 22 June 2022 Signe talk contribs created page File:GraduationCap2.png
- 18:39, 22 June 2022 Signe talk contribs uploaded File:GraduationCap2.png
- 18:36, 22 June 2022 Signe talk contribs uploaded a new version of File:GraduationCap.png
- 18:28, 22 June 2022 Signe talk contribs created page File:Events.png
- 18:28, 22 June 2022 Signe talk contribs uploaded File:Events.png
- 17:54, 22 June 2022 Signe talk contribs uploaded a new version of File:Books.png
- 17:53, 22 June 2022 Signe talk contribs uploaded a new version of File:Hammer.png
- 17:51, 22 June 2022 Signe talk contribs created page File:Hammer.png
- 17:51, 22 June 2022 Signe talk contribs uploaded File:Hammer.png
- 17:38, 22 June 2022 Signe talk contribs created page File:Books.png
- 17:38, 22 June 2022 Signe talk contribs uploaded File:Books.png
- 17:35, 22 June 2022 Signe talk contribs uploaded a new version of File:GraduationCap.png
- 17:33, 22 June 2022 Signe talk contribs created page File:GraduationCap.png
- 17:33, 22 June 2022 Signe talk contribs uploaded File:GraduationCap.png
- 12:54, 31 May 2022 Arinajed talk contribs created page Portal:Events (Created page with "Link to our previous TC VAS workshops!! Working group meetings ICRA 2016? IROS... ICRA 2022 Our Webinars (link to activities page)")
- 12:52, 31 May 2022 Arinajed talk contribs created page Portal:Verification (Created page with "Technical explanation for verification and validation * Understand the topic of the site in more detail == What is verification? == * Discussion about the difference between verification and validation * Relation to certification * Relation to processes * General guide of what you'll find in this BOK and what the TC's scope is == What is validation? == == In-scope == == Out of scope ==")
- 12:43, 31 May 2022 Arinajed talk contribs created page Definitions (Created page with "Most important terms in simplest language (pick from the Glossary) * This section is for total newbies and are not aware about challenges and problems or terms * How to avoid being biased? E.g. highlight one area more than others")
- 12:38, 31 May 2022 Signe talk contribs created page Template (Created page with "Table of Contents <Top level summary, most common definition for ''term''> == History == <Summary of the history of the term - how the definition has changed over time> * Where was this first used? Who coined the term or started naming them like that? * Was it called differently before? == Contextual Uses == <Description of the different contexts this term is used in> * E.g. ISO standards * IEEE dictionary === Context 1 === <Description of context 1> <Definition us...")
- 12:46, 25 May 2022 User account NDamore talk contribs was created
- 12:42, 17 May 2022 User account Arinajed talk contribs was created
- 12:39, 17 May 2022 Signe talk contribs created page Autonomous System (Created page with " Table of Contents <Top level summary, most common definition for ''autonomous system''> == History == <Summary of the history of the term - how the definition has changed over time> == Contextual Uses == <Description of the different contexts this term is used in> === Context 1 === <Description of context 1> <Definition used in context 1> === Context 2 === <Description of context 2> <Definition used in context 2")
- 11:29, 19 April 2022 User account Aristenea talk contribs was created
- 18:01, 6 April 2022 Signe talk contribs created page File:Example.png (Placeholder for Gallery images)
- 18:01, 6 April 2022 Signe talk contribs uploaded File:Example.png (Placeholder for Gallery images)
- 15:12, 5 April 2022 User account Lm2292 talk contribs was created
- 12:41, 5 April 2022 AIDejanira talk contribs created page Portal:Tutorials (Created page with "* Andre Platzer [https://keymaerax.org/Xtutorial.html Tutorial on how to use Keymaera-X] *")
- 12:38, 5 April 2022 AIDejanira talk contribs created page Portal:People (Created page with "* Trustworthy Autonomous Systems Hub - York, Sheffield, Southampton, etc. UKRI (Research and Innovation) ** [https://www.tas.ac.uk/ Verifiability Hub] - Southampton, Nottingham, Kings College London * [https://www.york.ac.uk/assuring-autonomy/ Assuring Autonomy International Programme]")
- 12:16, 5 April 2022 AIDejanira talk contribs created page Portal:Sources (Created page with "Something to put here")
- 11:48, 5 April 2022 AIDejanira talk contribs created page Portal:Glossary (Created page with ";Human-robot interactions ;Acceptability ;Trust ;Safety in HRI ;Failure detection and recovery ;Redundant robots ;Robot safety ;Robotic Systems ;Assurance ;Functional assurance ;Assurance cases ;Specifications ;Requirements -workspace and conditions/context of operations ;Functional requirements ;Safety requirements ;Security requirements ;Requirements development processes Qualitative assessment Quantitative assessment Dependability Reliability Security...")
- 11:32, 5 April 2022 User account AIDejanira talk contribs was created
- 15:11, 22 March 2022 Mfisher talk contribs created page Portal:Tools (Created page with "<big>Verification of Autonomous Systems -- A Selection of Tools</big> == Specification & Modelling == * Modelling of Robotic Systems: [https://www.cs.york.ac.uk/robostar/robotool/ RoboTool] * Modelling of Robotic Systems: [https://redmine.laas.fr/projects/genom3-fiacre-template/gollum/index GenoM] * Executable Agent Specifications: [https://www.csc.liv.ac.uk/~michael/TLBook/MetateM-System/ Concurrent MetateM] == Formal Verification == * Program model-checking of age...")
- 13:25, 22 March 2022 User account Mfisher talk contribs was created
- 11:19, 22 March 2022 User account DejaniraAI talk contribs was created
- 14:40, 12 March 2022 VASBOKWikiSysop talk contribs created page MediaWiki:Mainpage (Created page with "Welcome to VASBoK")
- 14:22, 12 March 2022 Signe talk contribs created page Welcome to VASBoK (Created page with "The Verification of Autonomous Systems Body of Knowledge VASBoK is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]'s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] Education Working Group. It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and ac...")
- 18:10, 8 March 2022 User account Signe talk contribs was created
- 12:05, 8 March 2022 MediaWiki default talk contribs created page Main Page
