Difference between revisions of "ToolsAndDownloads"

From Aeminium
Jump to: navigation, search
(Tools and Downloads)
Line 1: Line 1:
 
 
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).  
  
Line 5: Line 4:
  
 
'''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]
 +
 +
 +
<big>'''AEMinium Runtime Documentation'''</big>

Revision as of 00:20, 25 October 2011

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]


AEMinium Runtime Documentation