Chalice: Specification and Verification of Concurrent Programs

  •        0

Chalice is a verifier for concurrent programs

http://chalice.codeplex.com/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Jiscexpo - an overview of all the "jiscEXPO" (linkeddata) projects taking place from July


What is this website and who is it for?This website is an overview of the JISC projects currently taking place in the #jiscEXPO programme. "jiscEXPO" represents two things: (1) the "Joint Information Systems Committee" (JISC) which is the funding organisation behind this set of projects, and (2) "EXPOsing" of content as linked data. Please see the sidebar links for the history and context for these set of projects. DISCLAIMER: This site is NOT an official JISC site but rather the notebook-wiki f

Code-Styleguide - Silver Chalice coding standards and style guide.


Silver Chalice coding standards and style guide.

Developer-Challenges - Silver Chalice's developer challenges for potential candidates.


Silver Chalice's developer challenges for potential candidates.

chalice - Chalice for Vim - 2ch.net browser written in vim script.


Chalice for Vim - 2ch.net browser written in vim script.

Nerian-BloodChalice


A cooperative roleplaying videogame

Chalice-Model - Perl 5 data model for blog


Perl 5 data model for blog

timthompson-Chalice


ColdFusion 9 Simple MVC inspired by Grails. Created as a learning experience.

Chalice - A Minecraft server implementation, supporting the Bukkit API.


A Minecraft server implementation, supporting the Bukkit API.

chalice - My site written in Python using Flask


My site written in Python using Flask







Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>