Difference between revisions of "ToolsAndDownloads"
From Aeminium
(→Tools and Downloads) |
|||
| Line 3: | Line 3: | ||
Check out Google Code for code and examples of '''AEminium''' [http://code.google.com/p/aeminium/] (under development). | Check out Google Code for code and examples of '''AEminium''' [http://code.google.com/p/aeminium/] (under development). | ||
| − | '''AEMiniumGPU''' is a framework composed by a compiler and a runtime. It is available for download the following address: [ | + | '''AEMiniumGPU''' is a framework composed by a compiler and a runtime. It is available for download the following address: [https://github.com/alcides/AeminiumGPUCompiler/] |
'''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. [http://193.136.232.100/~ncatano/Projects/aeminium/Pulse.html] | '''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. [http://193.136.232.100/~ncatano/Projects/aeminium/Pulse.html] | ||
Revision as of 11:24, 1 October 2011
Tools and Downloads
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]
