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
Follow JavaMC
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of JavaMC!