[ADD] Runtime Verification Tools #20

New Issue

Open

opened 2025-06-13 21:55:19 +00:00 by mossbiscuits · 0 comments

mossbiscuits commented 2025-06-13 21:55:19 +00:00

Owner

Copy Link

• https://github.com/Copilot-Language/copilot
• https://github.com/runtimeverification/javamop
• https://github.com/autonomy-and-verification-uol/ROSMonitoring
• https://github.com/duncanatt/detecter
• https://github.com/mwshinn/paranoidscientist
• https://github.com/gordonpace/contractLarva
• https://github.com/ezapridou/carla-acc
• https://github.com/selig/qea
• https://github.com/imdea-software/hlola
• https://github.com/GaloisInc/ivory-rtverification
• https://github.com/NASA-SW-VnV/mesa
• https://github.com/reactive-systems/rvhyper
• https://github.com/cansuerdogan/ROSRV
• https://github.com/PRETgroup/easy-rte
• https://www.cs.rice.edu/CS/Verification/Software/software.html
• https://r2u2.temporallogic.org/

- [ ] https://github.com/Copilot-Language/copilot - [ ] https://github.com/runtimeverification/javamop - [ ] https://github.com/autonomy-and-verification-uol/ROSMonitoring - [ ] https://github.com/duncanatt/detecter - [ ] https://github.com/mwshinn/paranoidscientist - [ ] https://github.com/gordonpace/contractLarva - [ ] https://github.com/ezapridou/carla-acc - [ ] https://github.com/selig/qea - [ ] https://github.com/imdea-software/hlola - [ ] https://github.com/GaloisInc/ivory-rtverification - [ ] https://github.com/NASA-SW-VnV/mesa - [ ] https://github.com/reactive-systems/rvhyper - [ ] https://github.com/cansuerdogan/ROSRV - [ ] https://github.com/PRETgroup/easy-rte - [ ] https://www.cs.rice.edu/CS/Verification/Software/software.html - [ ] https://r2u2.temporallogic.org/ - [ ]

mossbiscuits added the

enhancement

new tool

labels 2025-06-13 21:55:19 +00:00

mossbiscuits self-assigned this 2025-06-13 21:55:19 +00:00

mossbiscuits added this to the Tool Collection project 2025-06-13 21:55:19 +00:00

Sign in to join this conversation.

main

Branches Tags

Clear current reference

main

Clear current reference

No results found.

Labels

Clear labels

bug

Something is not working

duplicate

This issue or pull request already exists

enhancement

New feature

fix tool

A tool needs to have its information updated

help wanted

Need some help

invalid

Something is wrong

new tool

A tool that should be added to the list

question

More information is needed

wontfix

This won't be fixed

No Label

enhancement

new tool

Milestone

No items

No Milestone

Assignees

Clear assignees

mossbiscuits

No Assignees mossbiscuits

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: fmtools/content#20

No description provided.