Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: POSIX :: GNU/Linux [Remove This Filter]
Kind :: Software [Remove This Filter]
Natural Language :: English [Remove This Filter]
Topic :: Security [Remove This Filter]

Research center > Saclay - Ile de France	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

1 project in result set.

Why3 - Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers. The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/

Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Security (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 99.48

Registered: 2010-11-05 10:44