History:

• 11 Jul, 2004
  SAL 2.3 released.
• 23 Apr, 2004
  SAL 2.2 released.
• 24 Jan, 2004
  SAL 2.1 released.
• 12 Nov, 2003
  SAL 2.0 released.
• 22 July, 2002
  SAL 1.0 released.

Future Plans:

• Predicate Abstraction.
• SAL type checker based on PVS.
• Port of the explicit state model checker available on SAL 1.0.