Giters
PaulMeng

PaulMeng

Geek Repo

7

followers

0

following

8

stars

Company:The University of Iowa

Location:Iowa City, IA

Github PK Tool:Github PK Tool

Organizations
CVC4

PaulMeng's repositories

alloy

A language and tool for relational models

Language:JavaStargazers:0Issues:0Issues:0

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cvc4-win64

Language:ShellStargazers:0Issues:0Issues:0

java-smt

JavaSMT - Unified Java API for SMT solvers.

Language:JavaStargazers:0Issues:2Issues:0

jkind

JKind - An infinite-state model checker for safety properties in Lustre

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

kind2-web

Source code for the web client

License:Apache-2.0Stargazers:0Issues:0Issues:0

KindWeb

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0