The most convenient way to use D2 is to just run it as a CLI executable to produce SVGs from .d2 files. You can run the install script with --dry-run to see the ...
Abstract: Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback