Wolverin The Wolverine story . Wolverine Software Corporation was founded in 1976 by simulation language implementor James O. Henriksen.
Proof is general-purpose in two ways.
First, it has a small, but powerful command language which can be applied to a wide variety of applications. Proof's Demo Maker option, provides the capability for producing royalty-free demos. Wolverine's newest product, SLX, is a general-purpose simulation language designed for modelers who need flexibility and extensibility, plus the traditional Wolverine emphasis on blazing speed, even when running large, complex models. SLX offers a layered approach to simulation modeling. SLX's kernel provides powerful building blocks, and its extensibility mechanisms make it easy to move up to higher levels of abstraction.