Group: GitHub P Org
1.PObserveCommons2 usages
io.github.p-org » pobserve-commons MIT
Common utilities for PObserve runtime monitoring
Last Release on Aug 4, 2025
2.PEx Runtime
io.github.p-org » pex MIT
Explicit-state model checking runtime for the P programming language
Last Release on Dec 12, 2025
3.PObserve Java Unit Test
io.github.p-org » pobserve-java-unit-test MIT
JUnit integration for P specifications runtime verification
Last Release on Aug 5, 2025
4.PObserveRegressionTesting
io.github.p-org » pobserve-regression-testing MIT
Regression testing module for PObserve
Last Release on Aug 8, 2025
5.ABC Java Bindings1 usages
io.github.p-org » abc MIT
ABC Java Bindings
Last Release on May 16, 2023
6.PSym Runtime
io.github.p-org » psym MIT
PSym runtime for the P programming language
Last Release on Feb 15, 2024