@@ -2,4 +2,9 @@ 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
These pacakge includes three animations:
1. abstract machine
2. refinement Ethereum to Fabric
3. 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.