All public logs

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).

• 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