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

Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely

Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.

Learn More

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