jSSTL API

jSSTL API is a framework that can be used to integrate SSTL model checking features in Java applications. It consists of three main packages: util, core, and io.

jSSTL API source code is available for download from the following link.