tool_lists icon indicating copy to clipboard operation
tool_lists copied to clipboard

Published 20 hours ago • verified publisher icon johnyf

added Reelay and lattice-mtl to the list rv tools

Open Agnishom opened this issue 3 years ago • 0 comments

Reelay is a very useful tool that has been cited in a number of runtime verification papers already.

I am also adding the lattice-mtl tool from an RV 2020 paper.

Agnishom avatar Jan 08 '22 01:01 Agnishom