[Verifpal] generating sequence diagrams?
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:
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,
> 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:
>>> 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
>>> Verifpal mailing list
>>> Verifpal at lists.symbolic.software
> 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...
Size: 833 bytes
Desc: Message signed with OpenPGP
More information about the Verifpal