Spec#

  •        48

Spec# ("speck-sharp") is an object-oriented .NET programming language with design-by-contract features for method pre- and postconditions and object invariants and also a non-null type system.

http://specsharp.codeplex.com/

Tags
Implementation
License
Platform

   




Related Projects

Microsoft Research Boogie


Boogie is a program verification system that produces verification conditions for programs written in an intermediate language (also named Boogie). The intermediate language is easy to target from source languages such as Spec#, C#, or even C.

BoogiePartners


BoogiePartners provides a loose collection of utilities or extensions for Boogie and SpecSharp developers.

VCC


VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct.

Icarus Verilog Test Suite


Provides a GPL'd test suite for verification of the verilog language. This project is affiliated with the Icarus Verilog compiler effort at icarus.com, and test reports are collected from that project.

Fingerprint Verification System


Project FreeFinger aims to design and implement a set of free and open-source kernel algorithms for automated fingerprint verification and develop a demo fingerprint verification software with nice graphics interface.



ISP.NET


ISP.NET is a code level verification tool for MPI programs. It includes a Visual Studio 2010 extension that allows for push button verification of user programs that are written in C, C++ and C#. ISP checks for deadlocks, assertion violations, and other MPI program issues.

verification - Data verification module for Node.js


Data verification module for Node.js

twilio-sms-verification - A sample Rails application for Twilio SMS verification.


A sample Rails application for Twilio SMS verification.

Verification - Hardware Verification Course


Hardware Verification Course

cpp-verification - c++ verification portion of project


c++ verification portion of project

DWS-Authenticator


Enable 2-step verification to protect your Digital Wolf Studio account from hijacking. DWS Authenticator generates 2-step verification codes on your phone. With 2-step verification, you can choose to add an additional layer of security for your Digital Wolf Studio Account by signing in with both a code generated by this application in addition to your password.

author-verification - Author Verification for the PAN Author Identification subtask of CLEF 2013


Author Verification for the PAN Author Identification subtask of CLEF 2013

Twilio-SMS-Phone-Verification - SMS Verification system written in PHP using Twilio API


SMS Verification system written in PHP using Twilio API