The PEP tool

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow The PEP tool

The PEP tool Web Site

Other Useful Business Software

Free and Open Source HR Software

OrangeHRM provides a world-class HRIS experience and offers everything you and your team need to be that HR hero you know that you are.

Give your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.

Learn More

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

danieljohnson2 Posted 2013-05-30

Peptool is great! Thanks.

Additional Project Details

Operating Systems

BSD, Cygwin, Linux, Solaris, Windows

Languages

English

Intended Audience

Developers, Education, Manufacturing, Quality Engineers, Science/Research, Telecommunications Industry

User Interface

Console/Terminal, Tk

Programming Language

C, C++, Tcl

Related Categories

C++ UML Tool, C++ QA Automation Software, C++ Electronic Design Automation (EDA) Software, C++ Topic Software, C UML Tool, C QA Automation Software, C Electronic Design Automation (EDA) Software, C Topic Software, Tcl UML Tool, Tcl QA Automation Software, Tcl Electronic Design Automation (EDA) Software, Tcl Topic Software

Registered

2003-07-23

Similar Business Software

Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software
Plaid

Plaid is a global fintech infrastructure platform that enables businesses and consumers to securely connect to financial data and services. Through APIs that connect to more than 12,000 financial institutions across 20+ countries, Plaid operates the world’s largest open banking data network. By...

See Software
NetNut

Get ready to experience unmatched control and insights with our user-friendly dashboard tailored to your needs. Monitor and adjust your proxies with just a few clicks. Track your usage and performance with detailed statistics. Our team is devoted to providing customers with proxy solutions...

See Software
ZeroPath

ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software