[Verifpal] generating sequence diagrams?

Marko Schuetz-Schmuck markoschuetz at googlemail.com
Sun Apr 26 21:55:59 CEST 2020


Nadim Kobeissi <nadim at symbolic.software> writes:

Thanks! But I still cannot get it: I installed the Verifpal extension
for VS code and I have the corresponding entries in the command palette,
but when I open Verifpal Protocol Diagram another pane opens, but
remains black.

Any ideas?

Thanks and best regards,

Marko

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

-- 
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/20200426/74c69453/attachment.sig>


More information about the Verifpal mailing list