ManTa

ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.

Project Activity

See All Activity >

License

Public Domain, GNU General Public License version 2.0 (GPLv2)

Follow ManTa

ManTa Web Site

You Might Also Like

Top-Rated Free CRM Software

216,000+ customers in over 135 countries grow their businesses with HubSpot

HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.

Get started free

Rate This Project

User Reviews

Be the first to post a review of ManTa!

Additional Project Details

Languages

English, Spanish

Intended Audience

Science/Research, Education, Developers

Programming Language

Related Categories

C Software Development Software, C Scientific Engineering

Registered

2001-05-04

Similar Business Software

OCaml

OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile time, and large, complex codebases are easier to maintain. This makes it a good language for running critical...

See Software
Polyspace Code Prover

Polyspace Code Prover is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code. It produces results without requiring program execution, code instrumentation, or test cases....

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software

Report inappropriate content