TY  - RPRT
TI  - The JKind Model Checker
AU  - Andrew Gacek
AU  - John Backes
AU  - Mike Whalen
AU  - Lucas Wagner
AU  - Elaheh Ghassabani
PY  - 2018
UR  - https://arxiv.org/abs/1712.01222
ID  - 1712.01222
ER  -