#

model-checker

Here are 2 public repositories matching this topic...

uuverifiers / eldarica

The Eldarica model checker

prolog verification smt2 smt-solver model-checker horn-clauses

Updated Jan 9, 2025
Scala

Jentsch / modelchecker

scala akka model-checker zio

Updated Jan 2, 2020
Scala

Improve this page

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

Curate this topic

Add this topic to your repo

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