Make social videos in an instant: use custom templates to tell the right story for your business.
Record and instantly share video messages from your browser.
Broadcast your events with reliable, high-quality live streaming.
Get your team aligned with all the tools you need on one secure, reliable video platform.
This video shows the Eclipse editor provided by the nusmv-tools project (code.google.com/a/eclipselabs.org/p/nusmv-tools/). It shows all kinds of features like syntax highlighting, content assist, outline view, and many others. This editor is created using Xtext (eclipse.org/Xtext/), so thanks to the itemis AG for their work!