FermaT

The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow FermaT

FermaT Web Site

User Reviews

Be the first to post a review of FermaT!

Additional Project Details

Operating Systems

Linux, BSD, Windows

Languages

English

Intended Audience

Science/Research, Advanced End Users

User Interface

Java Swing, Command-line

Programming Language

Scheme, Java

Related Categories

Scheme Integrated Development Environments (IDE), Scheme Computer-Aided Software Engineering (CASE) Software, Java Integrated Development Environments (IDE), Java Computer-Aided Software Engineering (CASE) Software

Registered

2009-03-14

Similar Business Software

Kianda

Kianda is a no-code development platform empowering citizen developers, business users and knowledge workers to take control of digital transformation. You don’t have to wait months or years to implement a new system any more. Build and deliver applications, end-to-end business processes...

See Software
Telepresence

Telepresence streamlines your local development process, enabling immediate feedback. You can launch your local environment on your laptop, equipped with your preferred tools, while Telepresence seamlessly connects them to the microservices and test databases they rely on. It simplifies and...

See Software
TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software

Report inappropriate content