See the Kind 2 website or follow the development on Github
Dr. Christoph Sticksel
Senior Team Leader and Principal Software Engineer in Formal Methods/Program Analysis atMathWorks Natick, MA
cstickse@mathworks.com