No social network accounts found.
A language to model, analyse, and test systems.
A library to simulate Symbolic Transition Systems (STS)
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 © 2014, Oracle Corporation 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.