Loading...

Tutorial: Open KeYmaera Using Java Web Start

830 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Sep 9, 2013

This video is part of a tutorial series for the Theorem Prover KeYmaera.
http://symbolaris.com/info/KeYmaera.html
____________________________________________________
In this video, we show you how to open the webstart version of the KeYmaera Theorem Prover for hybrid systems.

You can open the keymaera webstart from a terminal using the javaws command, followed by a direct link to the keymaera jnlp file:

bash$ javaws http://symbolaris.com/info/KeYmaera.jnlp

Alternatively, you can download the file from our homepage keymaera.com.

From there, click on webstart (http://symbolaris.com/info/KeYmaera.jnlp) to download the KeYmaera.jnlp file. Then open the file.

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...