kripke-model

Here are 4 public repositories matching this topic...

A library for non-deterministically parsing natural language expressions into a structured form.

nlp rust haskell ai parsing logic-programming kripke-model

Kripke semantics

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

Parser and prover/solver for provability logics (GL, iGL, etc.)

go golang solver logic kripke-model provability-logic

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