[Verifpal] Verifpal 2020 Plans

Max(☭) suraev at alumni.ntnu.no
Fri Jan 24 10:41:49 CET 2020


Hi!

Excellent developments ahead, looking forward to it.

Are there any plans to add generation of MSC diagrams (in mscgen format 
perhaps or alike) similar to the ones used in Verifpal manual directly 
from .vp files?

cheers,

Max.




More information about the Verifpal mailing list