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

Project Activity

See All Activity >

Categories

Software Testing, QA Automation, Agile Development Tools

License

Python Software Foundation License

Follow FormalPython

FormalPython Web Site

Other Useful Business Software
AI-based, Comprehensive Service Management for Businesses and IT Providers Icon
AI-based, Comprehensive Service Management for Businesses and IT Providers

Modular solutions for change management, asset management and more

ChangeGear provides IT staff with the functions required to manage everything from ticketing to incident, change and asset management and more. ChangeGear includes a virtual agent, self-service portals and AI-based features to support analyst and end user productivity.
Learn More
Rate This Project
Login To Rate This Project

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

Related Categories

Python Software Testing Tool, Python QA Automation Software, Python Agile Development Tools

Registered

2010-08-16
Report inappropriate content