Druidos

Linux Verification Center, ISPRAS

ISPRASRussia, Moscow

Pinned Repositories

benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python0 0 00
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Language:Java0 2 41
cv
Klever Continuous Verification Framework
Language:Python0 1 00
fastrpc_for_article
Language:SWIG0 2 00
java-common-lib
SoSy-Lab Java Common Library
Language:Java0 1 00
java-smt
JavaSMT - Unified Java API for SMT solvers.
Language:Java0 0 00
jqvmap
jQuery Vector Map Library
Language:JavaScript0 1 00
klee
KLEE Symbolic Virtual Machine
Language:C0 2 00
klever
Klever Git repository read-only mirror
Language:Python0 1 01
linux
Linux kernel source tree
Language:C0 2 00

Druidos's Repositories

Druidos/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python0 0 00
Druidos/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Language:Java0 2 41
Druidos/cv
Klever Continuous Verification Framework
Language:Python0 1 00
Druidos/fastrpc_for_article
Language:SWIG0 2 00
Druidos/java-common-lib
SoSy-Lab Java Common Library
Language:Java0 1 00
Druidos/java-smt
JavaSMT - Unified Java API for SMT solvers.
Language:Java0 0 00
Druidos/jqvmap
jQuery Vector Map Library
Language:JavaScript0 1 00
Druidos/klee
KLEE Symbolic Virtual Machine
Language:C0 2 00
Druidos/klever
Klever Git repository read-only mirror
Language:Python0 1 01
Druidos/linux
Linux kernel source tree
Language:C0 2 00
Druidos/projector2020_climatic_hub
Проект климатический хаб с хакатона Прожектор 2020
Language:JavaScript1 0
Druidos/pycparserext
Extensions for Eli Bendersky's pycparser
Language:Python1 0
Druidos/sv-benchmarks
Collection of Verification Tasks
2 0
Druidos/ultimate
Language:C2 0
Druidos/validation_set
2 01