model-checker

Here are 3 public repositories matching this topic...

The core of Java PathFinder

java model-checking model-checker

Model Checker CTL (simple) en Java, que j'ai réalisé en M2 Informatique parcours Programmation et Logiciels Sûrs

java parser automata model automate informatique model-checking ctl kripke model-checker checking modelchecking automata-theory kripke-structure kripke-model

A Model Checker for the logic dCTL

model-checker

Add a description, image, and links to the model-checker topic page so that developers can more easily learn about it.

To associate your repository with the model-checker topic, visit your repo's landing page and select "manage topics."