Generated on 6/4/2024 at 19:54 using ProB version 1.12.2-final
Main specification package: event_b_project
Main specification name: CCTx_Fabric_Ethereum_Animation_m3
Main VisB JSON file: gateway-vis-file.json (modified on 6/4/2024 at 19:52)
VisB SVG file: gateway-event-b-fabric-ethereum-animation.svg (modified on 6/4/2024 at 19:51)