Please refer to the documentation for more details.
Select an example from the list on the left: you will be able to see a description here and a preview of the first lines of the code below.
You will also be able to download the example as an
Erlang source file that can be executed with the
Erlang interpreter. In that case make sure you dowloaded
soter.erl
soter.hrl
grammars.hrl
.
Press Ok to load the example.
DOs
|
DON'Ts
|
See Erlang.org for more details about the Erlang Language
See Soter Documentation for more details about using Soter
See Full Paper for more details about how Soter works
Department of Computer Science, Oxford University