Skip to main content

Java & Symbolic Analysis Laboratory

No replies
nenadm
Offline
Joined: 2008-11-11
Points: 0

Hi,
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.