Closed atomb closed 5 years ago
This PR adds support to the jKind API for the Sally model checker from SRI (http://sri-csl.github.io/sally/) in conjunction with a Lustre front end developed by Galois (https://github.com/galoisinc/lustre-sally). It works with the same XML format used for the Kind 2 backend.
Nice. Thanks!
agacek
commented
5 years ago agacek
commented
5 years ago
This PR adds support to the jKind API for the Sally model checker from SRI (http://sri-csl.github.io/sally/) in conjunction with a Lustre front end developed by Galois (https://github.com/galoisinc/lustre-sally). It works with the same XML format used for the Kind 2 backend.