The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. In this paper, we present the tool LARVA, for the ...

🎨 DrawSnap is a Java-based geometric drawing tool built with Scrum methodology. It supports creating and editing shapes (lines, rectangles, ellipses, polygons, text), grouping, custom shape libraries ...