ey-negprotocol

Negotiation Protocol - Modeling, Verification & Implementation

Brought to you by: edwyaq

Add a Review

Downloads: 0 This Week

Last Update: 2016-09-18

Browse Code

Get an email when there's a new version of ey-negprotocol

Here, you may access the artifacts related to negotiation protocol work as conducted (partially) under the SLA-SOI project. In addition, a Promela model for the Spin model checker is also provided.

Project Activity

See All Activity >

Follow ey-negprotocol

ey-negprotocol Web Site

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Rate This Project

User Reviews

Be the first to post a review of ey-negprotocol!

Additional Project Details

Registered

2012-08-09

Report inappropriate content

Featured

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Recommended Projects

Chroma MCP
A Model Context Protocol (MCP) server implementation
MCP Go
A Go implementation of the Model Context Protocol (MCP)
Model Context Protocol TypeScript SDK
The official Typescript SDK for Model Context Protocol servers
eXplode
eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to find crash-recovery errors.
A QUIC implementation in pure Go
A QUIC implementation in pure go