ToolsAndDownloads

From Aeminium
Revision as of 11:25, 1 October 2011 by Aeminium (Talk | contribs) (Tools and Downloads)

Jump to: navigation, search

Check out Google Code for code and examples of AEminium [1] (under development).

AEMiniumGPU is a framework composed by a compiler and a runtime. It is available for download the following address: [2]

Pulse is a model-checking tool of Plural specifications. It has been implemented as a plug-in of the Plural tool. It translates Plural specifications into an abstract model-checking model that is then used as an input of the EVMDD model-checker. [3]