vscode-pvs-1.0.62 + video tutorial on vscode-pvs + NFM

[Paolo Masci]

Everyone, here's the latest news on vscode-pvs:

1. A new version vscode-pvs-1.0.62 is now available in the marketplace. This new version introduces full support for markdown expressions in comments, see attached screenshot.

2. I have prepared a short video tutorial on vscode-pvs that could be useful to new vscode-pvs users:

- video: https://fm.csl.sri.com/SSFT22/vscode-pvs-tutorial-may2022.mov

- slides: https://fm.csl.sri.com/SSFT22/vscode-pvs-tutorial-may2022.pdf

3. The NASA Formal Methods Symposium (NFM) is running this week, with several interesting tutorials and presentations that you can attend remotely. You just need to register to get a link for the video stream (the registration is free, see https://nfm2022.caltech.edu/ )

Among the papers presented at NFM, there will be one on the Proof Mate component of vscode-pvs will (Friday, 5.10pm local time, Pasadena, CA), see schedule for day 3 https://nfm2022.caltech.edu/schedule.html#day3

Thanks!

-Paolo