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.
Download CoreASM
Project Admins:
rfarahbod
Operating System:
OS Independent (Written in an interpreted language)
License:
Academic Free License (AFL)
Category:
Design, Documentation, Interpreters, Modeling, Testing
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest
Public Areas
-
Bugs
: (2 open / 3 total)
Bug Tracking System -
Support Requests
: (0 open / 1 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (1 open / 1 total)
Feature Request Tracking System - Public Forums : (3 messages in 2 forums)
- Mailing Lists : (2 total)
-
CVS Repository
: (0 commits,
0 reads)
Browse CVS -
SVN Repository
: (0 commits,
0 reads)
Browse SVN
Most Active Projects in Category
Project Details
-
Project Admins :
rfarahbod
- Developers : 4
- Development Status : 4 - Beta
- Intended Audience : Information Technology, Science/Research, Telecommunications Industry
- License : Academic Free License (AFL)
- Operating System : OS Independent (Written in an interpreted language)
- Programming Language : Java
- Topic : Design, Documentation, Interpreters, Modeling, Testing
- User Interface : Eclipse, Command-line
- Project UNIX name : coreasm
- Registered : 2006-02-24 17:39
- Activity Percentile (last week) : 98.55
- View project activity statistics
- View list of RSS feeds available for this project