Home  |  Contact  |  Links  |  FAQ

Tools

BZR: Programming language

BZR is a synchronous programming language. It allows to describe a system by means of automata defining all (or part) of  its observable behaviors. This programming language also includes the discrete controller synthesis.
For more information: http://bzr.inria.fr/

Sigali

Sigali is a model-checking tool for synchronous programs based on symbolic representation of automata. It can also automatically calculate the controllers to ensure properties of the systems studied. It is integrated into the programming language compiler BZR.

Joram

JORAM is a popular open source messaging provider, it fully supports JMS™ 1.1 and J2EE specifications. Since 2008 JORAM follows the evolution of AMQP protocol and implements its successive specifications (currently v0.9.1). JORAM greatly benefits from the new generation Message Oriented Middleware from ScalAgent Distributed Technologies, an agent-based truly distributed architecture. The underlying innovative architecture allows distributed applications to be connected on a large-scale basis through Internet, enables load balancing and guarantees high availability and flexibility.

Votre barre d'outils Diminuer la taille de la policeAugmenter la taille de la policeAugmenter les contrastes en inversant les couleursLa mise en forme courante correspond à celle par défaut Pour imprimer le document, utilisez les fonctionnalités de votre navigateur. Envoyez cette page à un ami. Pour ajouter le document à vos favoris, utilisez les fonctionnalités de votre navigateur.
Home  |  Sitemap  |  Legal notices  |  Links  |  Contact  |  Powered by : Eolas