Workflow

Pymodelchecking

Latest version: v1.3.4

Safety actively analyzes 702232 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 2 of 2

1.1

Added CTL, CTLS, and LTL parsers.
Added a module to represent propositional logics formulas.
Improved documentation.

1.0

- First complete release
- Added experimental support to Python 3
- Improved documentation

Page 2 of 2

Links

Releases

Has known vulnerabilities

Previous

© 2025 Safety CLI Cybersecurity Inc. All Rights Reserved.