Behavioural Specification System

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mauriceling from gravatar.com mauriceling

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License (GPL) (GNU General Public License version 2)
  • Author: Maurice HT Ling
Classifiers
Report project as malware

Project description

A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mauriceling from gravatar.com mauriceling

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License (GPL) (GNU General Public License version 2)
  • Author: Maurice HT Ling
Classifiers

Release history Release notifications | RSS feed

This version

0.0.1

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page