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

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow RefChecker

RefChecker Web Site

You Might Also Like
RMM Software | Remote Monitoring Platform and Tools Icon
RMM Software | Remote Monitoring Platform and Tools

Best-in-class automation, scalability, and single-pane IT management.

Don’t settle when it comes to managing your clients’ IT infrastructure. Exceed their expectations with ConnectWise RMM, our MSP RMM software that provides proactive tools and NOC services—regardless of device environment. With the number of new vulnerabilities rising each year, smart patching procedures have never been more important. We automatically test and deploy patches when they are viable and restrict patches that are harmful. Get better protection for clients while you spend less time managing endpoints and more time growing your business. It’s tough to locate, afford, and retain quality talent. In fact, 81% of IT leaders say it’s hard to find the recruits they need. Add ConnectWise RMM, NOC services and get the expertise and problem resolution you need to become the advisor your clients demand—without adding headcount.
Learn More
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

Python, C++

Related Categories

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

Registered

2001-09-03