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
  • 134
  • Free

Review CoreASM

  • captcha
New Miscellaneous software
  • ASP. NET PDF Generator  v.2020.8.1The primary function of Iron PDF for ASP.NET is the generation of PDF documents using HTML to PDF technology. In addition, Iron PDF can be used to sign PDFs, edit existing PDFs, and extract content such as text and images from uploaded PDF documents.
  • OCR in .Net  v.4Iron OCR is a OCR .NET library allowing users to convert images and PDF documents back into text using the .NET Framework in C#, F#, or VB.NET.
  • The .Net PDF Library  v.2020.7.1A .NET PDF library such as Iron PDF is a software library for C#, VB.NET, and other .NET Framework developers to work with PDFs generating PDFs, editing PDFs, and extracting PDF content within their applications. Supports .Net Core & .Net Framework.
  • VB.Net to C# Converter  v.5.08VBConversions has the most accurate VB.Net to C# Converter money can buy. The VBConversions VB to C# Converter won Visual Studio Magazine Reader's Choice Award, 2006. Free download.
  • 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 ...