Is it possible somehow integrate Java program with SAL framework. I would like to make .sal files with Java and invoke SAL model checkers from Java.
Your use of this web site or any of its content or software indicates your agreement to be bound by these Terms of Participation.
Copyright © 2015, Oracle and/or its affiliates. All rights reserved. Oracle and Java are registered trademarks of Oracle and/or its affiliates. Other names may be trademarks of their respective owners.