[Verifpal] generating sequence diagrams?

Marko Schuetz-Schmuck markoschuetz at googlemail.com
Sat Apr 25 20:07:27 CEST 2020


Dear Nadim,

e.g. the one on page 10 corresponding to the simple protocol.

Best regards,

Marko

Nadim Kobeissi <nadim at symbolic.software> writes:

> 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
>

-- 
Prof. Dr. Marko Schütz-Schmuck
Department of Computer Science and Engineering
University of Puerto Rico at Mayagüez
Mayagüez, PR 00681
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200425/9d317519/attachment.sig>


More information about the Verifpal mailing list