Spec # is an extension of c# with constructs which permits specification and reasoning about object invariants. It has non-null types and provides constructs for pre and post conditions and object invariants. The Spec# is used to test formal specifications and static/dynamic provers that use them.
Technology GupShup is a place where you can articles on Software Development, Databases , Web Development and computers in general. You can also find useful tips and tutorials related to computers.
Comments
Post a Comment