Pinned Repositories
camlpaver
coq-smc
Coq formalization of the encoding methods of SAT/SMT-based Model Checking.
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
docker-images
Definitions of docker images.
dsksh.github.io
fp_rint_why3
Formal verification of a real-interval extension of floating-point arithmetic operators.
hysia
Hybid system simulator/verifier based on interval analysis
icpx10
A parallel interval-based numerical constraint solver implemented with X10
ICPy
kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
dsksh's Repositories
dsksh/coq-smc
Coq formalization of the encoding methods of SAT/SMT-based Model Checking.
dsksh/ICPy
dsksh/camlpaver
dsksh/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
dsksh/docker-images
Definitions of docker images.
dsksh/dsksh.github.io
dsksh/fp_rint_why3
Formal verification of a real-interval extension of floating-point arithmetic operators.
dsksh/hysia
Hybid system simulator/verifier based on interval analysis
dsksh/icpx10
A parallel interval-based numerical constraint solver implemented with X10
dsksh/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
dsksh/pysmt
pySMT: A library for SMT formulae manipulation and solving
dsksh/singularity-defs
Definition files for singularity containers.
dsksh/sl-examples
Artificial Simulink model examples.
dsksh/sl-pict
Simulink model generator for combinatorial testing.
dsksh/SWIPL-OCaml
SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html