FormalPython

planning

Add a Review
0 Downloads (This Week)
Last Update:

Description

A suite of tools and extensions to Python to permit automatic specification-based testing with inline, incremental formal specification.

FormalPython Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of FormalPython!

Additional Project Details

Languages

English

Intended Audience

Developers

User Interface

Command-line

Programming Language

Python

Registered

2010-08-16
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.