diff --git a/gateway-prob-animation/README.md b/gateway-prob-animation/README.md new file mode 100644 index 0000000000000000000000000000000000000000..f191e17a5e735a7e2c9c7b66e7945af72b9213c5 --- /dev/null +++ b/gateway-prob-animation/README.md @@ -0,0 +1,5 @@ +ProB animations were developed with: +* ProB 2 UI Version: 1.2.1 +* Java Version: 17.0.5 (Oracle Corporation) + +These pacakge includes three animations: 1) abstract machine, 2) refinement Ethereum to Fabric, and ) refinement Fabric to Ethereum. All refinement can be loaded with ProB and there are mocks for all machines. Mocks are single html web pages (e.g. gateway-history.html) that can be opened with any browser. Mocks shows the behaviour of the gateway on a single interaction. \ No newline at end of file