All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download io-hotmoka-verification JAR file with all dependencies

Search JAR files by class name

io-hotmoka-verification from group io.hotmoka (version 1.6.0)

This module implements the verification algorithms for Takamaka programs.

Group: io.hotmoka Artifact: io-hotmoka-verification
Show all versions Show documentation Show source 
 

0 downloads
Artifact io-hotmoka-verification
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification
License The Apache License, Version 2.0
Dependencies amount 4
Dependencies io-hotmoka-verification-api, io-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-exceptions,
There are maybe transitive dependencies!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy