[Verifpal] generating sequence diagrams?

Marko Schütz-Schmuck markoschuetz at googlemail.com
Sat Apr 25 15:44:52 CEST 2020


I was wondering if the sequence diagrams in the Verifpal manual were
generated automatically from the textual description. Or if not, which to
was used to generate then?

Thanks and best regards

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200425/ba920dec/attachment.htm>

More information about the Verifpal mailing list