Pinned Repositories
designpattern
Java design patterns
geomesa
GeoMesa is a suite of tools for working with big geo-spatial data in a distributed fashion.
jkind
JKind - An infinite-state model checker for safety properties in Lustre
JStateMachine
Advanced state machines in Java.
manuscript
Neural_Network_in_C
Neural Network in C
Papers
PNetsPapers
project
Some exercises
spaver
spaver: a spatial verifier for S4u
verifierlife's Repositories
verifierlife/jkind
JKind - An infinite-state model checker for safety properties in Lustre
verifierlife/spaver
spaver: a spatial verifier for S4u
verifierlife/designpattern
Java design patterns
verifierlife/geomesa
GeoMesa is a suite of tools for working with big geo-spatial data in a distributed fashion.
verifierlife/JStateMachine
Advanced state machines in Java.
verifierlife/manuscript
verifierlife/Neural_Network_in_C
Neural Network in C
verifierlife/Papers
verifierlife/PNetsPapers
verifierlife/project
Some exercises
verifierlife/Raincat
强一致分布式事务框架
verifierlife/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
verifierlife/thomassmile.github.io
Personal Page
verifierlife/x-pipe
X-Pipe是由携程框架部门研发的Redis多数据中心复制管理系统。基于Redis的Master-Slave复制协议，实现低延时、高可用的Redis多数据中心复制，并且提供一键机房切换，复制监控、异常报警等功能。开源版本和携程内部生产环境版本一致。
verifierlife/zustre
A model checker and assume/guarantee contract generator for Lustre programs.