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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

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

DipTrace

PCB Layout is a high-level engineering tool for board design featuring smart manual routing of high-speed and differential signals, shape-based autorouter, advanced verification, and wide import/export capabilities. Design requirements are defined by net classes, class-to-class rules, and...

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
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
Open Content Platform

Open Content Platform (OCP) is an open-source IT discovery and integration platform. OCP handles discovery, integration, and modeling for solutions in the datacenter. The core framework is micro-service, enabling process-level horizontal scalability. It’s fully extensible, designed for...

See Software
Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. We are SOC 2 Type 2 certified. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same...

See Software
Altium Develop

Altium Develop is a multidisciplinary product creation platform that breaks down silos and empowers teams to design collaboratively without limits. Built on Altium Designer and Altium 365, it unifies electrical, mechanical, software, sourcing, and manufacturing teams in a shared environment....

See Software