RefChecker download | SourceForge.net

RefChecker is a model checker for systems with a dynamic structure, such as e.g. Object Petri Nets.

Project Activity

See All Activity >

Categories

Software Development, Scientific/Engineering

License

GNU General Public License version 2.0 (GPLv2)

Follow RefChecker

RefChecker Web Site

You Might Also Like

Tigerpaw One | Business Automation Software for SMBs Icon

Tigerpaw One | Business Automation Software for SMBs

Fed up with not having the time, money and resources to grow your business?

The only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of RefChecker!

Additional Project Details

Languages

English

Intended Audience

Developers

Programming Language

Related Categories

Python Software Development Software, Python Scientific Engineering, C++ Software Development Software, C++ Scientific Engineering

Registered

2001-09-03

Similar Business Software

DbVisualizer

DbVisualizer is one of the world’s most popular database editors. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to visualize and manage their databases, schemas, objects, and table data, and to auto-generate, write and optimize queries. And so much...

See Software
Innoslate

SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface. Innoslate’s full...

See Software
ActCAD Software

ACTCAD is a 2D & 3D CAD software with functionality of the industry leaders. We offer two product options: - ACTCAD Standard for 2D Drafting Power Users - ACTCAD Premium for 2D Drafting, 3D Modeling and BIM (Building Information Modeling) functionality ACTCAD can be used for applications...

See Software

Report inappropriate content

Recommended Projects

PetriKit: Petri Net Analysis Toolkit
PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.
Platform Independent Petri Net Editor
IMPORTANT NOTICE: This project has moved to GitHub: https://github.com/sarahtattersall/PIPE Releases will be posted here, but please check on GitHub for the most recent activity. Create, model and analyse Petri nets with a standards-compliant Petri net tool. PIPE2 is the active fork of the Platform Independent Petri net Editor project, which originated at Imperial College London.
VisualPetri
VisualPetri is Petri net editor for Windows platform based on GDI Plus library with an integrated simulator. Note: a Petri net is one of several mathematical representations of discrete distributed systems.
Cookiecutter Data Science
Project structure for doing and sharing data science work