Artifacts using IO Hotmoka Verification (6)

This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.

A network of nodes for blockchain or IoT, with smart contracts in Java.

This module implements a local Hotmoka node.

This module defines helper classes that provide frequently used sets of Hotmoka transactions.

IO Hotmoka Views

A network of nodes for blockchain or IoT, with smart contracts in Java.