JavaMC

This is a java based model checker that reduces the time required for model checking by distributed state-space exploration.

Features

Time Efficient Model Checking
Hierarchical Models
Coloured Petri-Nets
Model Chekcing

Project Activity

See All Activity >

Follow JavaMC

JavaMC Web Site

Other Useful Business Software

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of JavaMC!

Additional Project Details

Registered

2010-09-04

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

ProM - Framework for Process Mining
ProM is the comprehensive, extensible framework for process mining. Process Mining deals with the a-posteriori analysis of (business) processes using enactment logs.
HiPS : Hierarchical Petri net Simulator
HiPS tool features to design and analyze hierarchical Petri nets
brms
brms R package for Bayesian generalized multivariate models using Stan
tlaplus
TLC is an explicit state model checker for specifications in TLA+
SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.