Learn More
The ASLAN specification language takes a state machine approach to specification. A system can be thought of as a collection of states, with two states differing by the values of the state variables.(More)