eXtensible Abstract State Machines / News: Recent posts

We are currently thinking about relaunching XASM and XOCL as one language with two different kinds of syntax.

Any comments and input are welcome!

We just released a new binary release of Xasm
(gem-mex-5.2-8-i86pc-linux at http://www.xasm.org\)
which runs on the newest versions of Suse and RedHat.

We tested Suse 8.0 and RedHat 8.0. If someone
has access to other machines for testing, would be
great to tell us. (for Suse 7.3, the 5.2-7 release works,
for Solaris and Windows only outdated releases are
available currently, we are working on new ones)... read more

The original owner of the Xasm sources, A4M AG
(www.a4m.biz) continues using Xasm in their projects.
A4M AG is convinced that moving the software to open
source was very beneficial for its clients which are very
happy to have now an open and platform independent tool.

Currently some of the Xasm project members at A4M are
busy with a project for the financial industry, where Xasm
is used productivly for a structured financial product
analysis software. ... read more

Matthias Anlauff and Philipp Kutter anounced the Xasm Open Source project to the ASM community at the Dagstuhl ASM workshop (http://www.dagstuhl.de/DATA/Title/02101.html). The ASM community wellcomed the initiative, which creates a mutually beneficial competition with the ASM software offered by Microsoft (http://research.microsoft.com/fse/AsmL/default.html).
The Xasm team is looking forward to a fruitful collaboration with the ASM community (http://www.eecs.umich.edu/gasm) !