The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
Release Date:
Topic:
Operating System:
License:
Intended Audience:
User Interface:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of CoreASM. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
CoreASM Documentation Page
The documentation and publications on the CoreASM website is updated and the links are moved into a separate documentation page: http://www.coreasm.org/documentation.php -
Code committed
-
Code committed
Rate and Review
Be the first person to add a text review.
Related Projects
-
UCOMV
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
-
EdgeExpressDB
EdgeExpressDB (eeDB) is a federated data abstraction system designed for integrating, interpreting, and visualizing very large biology datasets. It is designed for scaling beyond Petabytes and 10^13 objects. http://fantom.gsc.riken.jp/4/edgeexpress
-
CoreASM Actions
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
