Averest

Averest: Averest est un langage de programmation synchrone conçu par un groupe de l'université technique de Kaiserslautern qui permet de spécifier, vérifier et implémenter des systèmes dit réactifs. Averest contient aussi des outils qui permettent la vérification automatique de systèmes dynamiques ainsi qu'un compilateur.

Liens externes

Averest Toolbox Site officiel

Embedded Systems Group Groupe qui développe Averest Toolbox

Portail de la programmation informatique

Catégorie :
Langage de programmation

Игры ⚽ Поможем решить контрольную работу

Averest — is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis.It can be used to… … Wikipedia
List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents … Wikipedia
List of programming languages — Programming language lists Alphabetical Categorical Chronological Generational The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in… … Wikipedia
Genesis Plus — Infobox Software | name = Genesis Plus caption = developer = Charles MacDonald latest release version = 1.2.x latest release date = latest preview version = latest preview date = operating system = Windows, Mac OS X, DOS, Nintendo GameCube, Wii,… … Wikipedia
Liste des langages de programmation — Le but de cette Liste des langages de programmation est d inclure tous les langages de programmation existants, qu ils soient actuellement utilisés ou historiques, par ordre alphabétique. Ne sont pas listés ici les langages informatiques de… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'