Abstract: This paper shows a method for translating UML sequence diagrams to Petri nets and verifying deadlockfreeness, reachability, safety and liveness properties by using a model checker. In this ...

Abstract: Demand is growing for more accountability regarding the technological systems that increasingly occupy our world. However, the complexity of many of these systems—often ...

Core2D is a multi-platform application for making data driven 2D diagrams. The application has built-in wyswig vector graphics editor where you can bind data to shapes, share data across multiple ...

This Python package generates Tikz code for publication-ready vector graphics. Critical difference (CD) diagrams are a powerful tool to compare outcomes of multiple treatments over multiple ...

Threat modeling brings structure to identifying and addressing potential risks in software systems. It shifts security thinking to the early stages of design, where changes are cheaper and have a ...