[Verifpal] generating sequence diagrams?

Nadim Kobeissi nadim at symbolic.software
Sat Apr 25 20:08:58 CEST 2020


This was made using the same diagram generator that you can find and use yourself within the Verifpal extension for Visual Studio Code:

https://marketplace.visualstudio.com/items?itemName=symbolicsoft.verifpal

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

> On 25 Apr 2020, at 8:07 PM, Marko Schuetz-Schmuck <markoschuetz at googlemail.com> wrote:
> 
> 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: 833 bytes
Desc: Message signed with OpenPGP
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200425/0684cc16/attachment.sig>


More information about the Verifpal mailing list