CoreASM v.1.0.3

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.

The CoreASM project focuses on the design of a ...

 
  • CoreASM
  • 1.0.3
  • 02 May 12
  • coreasm
  • Windows; Mac; Linux
  • Freeware
  • 574 Kb
  • 117
  • Free
 
 

Review CoreASM

  • captcha
 
 
New Miscellaneous software
  • SocialMedia driven App Developer  v.3.08If you could look 1 year ahead, would you want to see? The SocialMedia driven App Developer is calculating your Shareware's Success. Fine-tune as many cost-driving parameters as you want. See revenue and net profit results displayed over 48 months.
  • Bersoft HTML Print  v.9.09This programmer utility for printing HTML pages and images in an invisible way can be called from your application, passing either the file to print or a file list as a parameter.
  • Metamill  v.8.2.2022Metamill is a professional UML modeling tool. Supports UML 2.4 standard. All 14 UML diagrams supported. Round-trip engineering for Python, ADA, Java, C, C++, C# and VB.Net. RTF and HTML document generation. Fast and easy to use. www.metamill.com ...
  • RunETAC  v.2-0.1-6-enaThe ETAC programming language is a general purpose dictionary and stack based interpreted script programming language fully capable of traditional high-level block structured language style syntax.
  • Core13  v.13.014An Arduino core for the Attiny13 processors. Currently supported functions: * = Partial support map() random() randomSeed() millis() micros() * delay() delayMicroseconds() analogRead() analogWrite() pinMode() digitalRead() ...
  • CoreAsset  v.1.2CoreAsset is a Open Source Enterprise Asset Management solution to mange the infrastructure, resource and library for the effective management, control and protection of assets within an organization, throughout all lifecycle ...