[Verifpal] generating sequence diagrams?

Nadim Kobeissi nadim at symbolic.software
Sat Apr 25 16:35:51 CEST 2020

Dear Marko,

Could you please point out a sequence diagram in particular?

Thank you,

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On 25 Apr 2020, at 3:44 PM, Marko Schütz-Schmuck via Verifpal <verifpal at lists.symbolic.software> wrote:
> Hi
> 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
> Marko
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal

More information about the Verifpal mailing list