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

Crowdtesting That Delivers | Testeum

Unfixed bugs delaying your launch? Test with real users globally – check it out for free, results in days.

Testeum connects your software, app, or website to a worldwide network of testers, delivering detailed feedback in under 48 hours. Ensure functionality and refine UX on real devices, all at a fraction of traditional costs. Trusted by startups and enterprises alike, our platform streamlines quality assurance with actionable insights. Click to perfect your product now.

Click to perfect your product now.

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
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