User contributions for Mfisher
Jump to navigation
Jump to search
- 11:16, 28 June 2022 diff hist +15 Portal:Tools →Specification & Modelling
- 11:14, 28 June 2022 diff hist +369 Portal:Glossary
- 11:04, 28 June 2022 diff hist +378 Portal:Glossary
- 11:57, 14 June 2022 diff hist +315 Autonomous System →Contextual Uses
- 07:14, 4 May 2022 diff hist +225 Portal:People
- 07:04, 4 May 2022 diff hist +314 Portal:Glossary
- 15:15, 22 March 2022 diff hist +7 m Portal:Tools →Formal Verification
- 15:11, 22 March 2022 diff hist +1,594 N 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..."