Many aspects of Spin and Promela
language have been modified and enhanced
concerning functionality, performance, robustness and
portability.
. Partial order reduction
. Complexity profiling
. New runtime options
. Compliance with automata theory
. Improved Promela language features
Just to name a few.