Software Map
Project Tree
|
Browse By: |
11 projects in result set.
gazelle
- IHE Gazelle Tools. The Gazelle project is aimed at developing testing tools for IHE. This tools shall test the interoperability of medical systems and the compliance of the messages send by those systems with standards recommender by IHE. | |
|
Activity Percentile: 98.20 Registered: 2007-03-07 16:37 |
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/ | |
|
Activity Percentile: 95.51 Registered: 2010-11-05 10:44 |
Nullability Inference Tool
- NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties. | |
|
Activity Percentile: 19.46 Registered: 2008-04-30 12:04 |
Steganography and Covert Channels
- Steganography and Covert Channels source code repo | |
|
Activity Percentile: 13.17 Registered: 2014-09-29 13:56 |
Sandbox for Grids
- Sandbox for Grids (s4g) is a Linux user-mode sandbox. It offers a secure execution environment for suspicious applications. Written in C, it tries to solve some typical problems of quarantine applications: efficiency and security. | |
|
Activity Percentile: 9.88 Registered: 2005-07-12 11:01 |
Toolbox for Opacity
- This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity. | |
|
Activity Percentile: 0.00 Registered: 2010-03-09 11:24 |
Thesis
- All Files from Loïc Fejoz's Ph'd thesis. | |
|
Registered: 2007-01-29 09:19 |
Frama-C
- Frama-C is a platform for static analysis of C source code | |
|
Activity Percentile: 0.00 Registered: 2008-01-23 14:35 |
stasi
- Solution de Test Automatisée de la Sécurité Informatique | |
Activity Percentile: 0.00 Registered: 2013-05-16 14:19 |
The Why platform
- The Why platform is an environment for deductive verification of C and Java programs. | |
|
Activity Percentile: 0.00 Registered: 2007-10-18 11:50 |
IoT Modeling Language
- A transpiler from an IoT modelling language to BIP. | |
|
Registered: 2018-10-03 13:16 |