• Symboleo is supported by an Integrated Development Environment (IDE) built on the Eclipse platform. This IDE provides syntax highlighting, code completion, and a range of semantic checks. 

• It provides the capability to write Symboleo contract specifications more easily.

Eclipse IDE 

• SYMBOLEO-WEB is a web-based IDE offering intelligent editing and validation capabilities directly in a regular browser. Unlike the desktop-based Eclipse IDE, which requires the installation of multiple local components (a substantial barrier for many potential Symboleo users), SYMBOLEOWEB presents a more accessible and user-friendly alternative. 

Symboleo-WEB 

• The Symboleo Property Checker (SYMBOLEOPC) verifies whether a given temporal logic property, based on stakeholder expectations, holds for a Symboleo specification. Built on the nuXmv model checker, it uses a translator to convert Symboleo specifications into the nuXmv language. The tool has been tested for scalability and performs effectively with contracts containing over 100 obligations or powers. 

       SymboleoPC 

• This tool generates smart contract code from Symboleo contract specifications, leveraging SYMBOLEOJS—a JavaScript module representing the Symboleo ontology and state machine semantics. Since JavaScript is compatible with Hyperledger Fabric , SYMBOLEO2SC streamlines development by automating smart contract generation for deployment on this platform, saving time and effort. 

Symboleo2SC 

• This tool maps natural language texts to Symboleo formal specifications by focusing on contract templates—generic contracts with blanks filled in consultation with a legal professional. 

Symboleo NLP