Software

ProActive

1. ProActive before SCALE ProActive (Proactive Parallel Suite) is a Java library (Source code under AGPL license) for parallel, distributed, and concurrent computing, also featuring mobility and security in a uniform framework. With a reduced set of simple primitives, ProActive provides a comprehensive API to simplify the programming of applications that are distributed on a …

View page »

VerCors

VERification of models for distributed communicating COmponants, with safety and Security Presentation We are building a tool platform for the analysis and verification of safety and security properties of distributed applications. The central component of the platform is a method for generating finite models for distributed applications, for a set of (model driven) graphical editors. …

View page »