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.


http://coreasm.sourceforge.net





Separate each tag with a space.

Release Date:

2007-09-17

Topics:

License:

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

  • 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

    posted by rfarahbod 9 days ago

  • Code committed

    rfarahbod committed revision 106 to the CoreASM SVN repository, changing 1 files

    posted by rfarahbod 17 days ago

  • Code committed

    rfarahbod committed revision 105 to the CoreASM SVN repository, changing 12 files

    posted by rfarahbod 17 days ago

  • Code committed

    rfarahbod committed revision 104 to the CoreASM SVN repository, changing 1 files

    posted by rfarahbod 18 days ago

  • Code committed

    rfarahbod committed revision 103 to the CoreASM SVN repository, changing 5 files

    posted by rfarahbod 18 days ago

  • CoreASM Design Documenation

    Please find the first public draft of "Design and Specification of the CoreASM Execution Engine and Plugins" at http://coreasm.svn.sourceforge.net/viewvc/coreasm/engine-carma/trunk/doc/CoreASM-DesignD...

    posted by rfarahbod 21 days ago

  • Code committed

    rfarahbod committed revision 102 to the CoreASM SVN repository, changing 1 files

    posted by rfarahbod 21 days ago

  • Code committed

    rfarahbod committed revision 101 to the CoreASM SVN repository, changing 1 files

    posted by rfarahbod 89 days ago

  • Code committed

    rfarahbod committed revision 100 to the CoreASM SVN repository, changing 5 files

    posted by rfarahbod 90 days ago

  • Code committed

    rfarahbod committed revision 99 to the CoreASM SVN repository, changing 6 files

    posted by rfarahbod 96 days ago

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

Thanks for your rating!

Would you also like to write a review?





Skip Review