jSSTL

jSSTL is a Java tool for the specification and verification of SSTL. This tool, developed in Java, consists of a Java library (jSSTL API) and a front-end, integrated in ECLIPSE.