Paquet : cafeobj (1.6.0-2)

[ Paquet source : cafeobj  ]

langage de spécification et programmation algébrique de nouvelle génération

CafeOBJ est un langage de spécification formelle évolué qui hérite de beaucoup des fonctionnalités du langage de spécification algébrique OBJ (OBJ3, plus précisément), dont une syntaxe mini-fix flexible, un système de typage puissant et clair avec des tris ordonnés, des modules et vues paramétriques pour instancier les paramètres, des expressions de modules, etc.

CafeOBJ est un langage servant à écrire des spécifications formelles (c'est-à-dire mathématiques) de modèles pour une grande variété de logiciels et de systèmes et vérifier leurs propriétés. CafeOBJ implémente la logique équationnelle par réécriture et peut servir de système de preuve de théorème interactif et puissant. Les rédacteurs de spécifications peuvent écrire des preuves en CafeOBJ et les vérifier en les exécutant.

CafeOBJ dispose de sémantiques logiques rigoureuses de pointe basées sur les institutions. Le cube CafeOBJ montre la structure des diverses logiques sous-jacentes de la combinaison de plusieurs paradigmes implémentés par le langage. Les preuves en CafeOBJ sont aussi basé sur des sémantiques rigoureuses basées sur les institutions et peuvent être construites grâce à un ensemble complet de règles de preuve.

Autres paquets associés à cafeobj

• dep: libc6 (>= 2.11) [ppc64]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.28) [armel]

  dep: libc6 (>= 2.29) [non armel, ppc64]

• dep: zlib1g (>= 1:1.1.4)

  Bibliothèque de compression - binaires

Télécharger cafeobj

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	12 358,7 ko	56 177,0 ko	[liste des fichiers]
arm64	12 159,3 ko	62 321,0 ko	[liste des fichiers]
armel	11 509,3 ko	46 815,0 ko	[liste des fichiers]
armhf	11 558,8 ko	47 243,0 ko	[liste des fichiers]
i386	12 176,8 ko	40 109,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	12 204,4 ko	222 927,0 ko	[liste des fichiers]
ppc64el	12 140,6 ko	231 504,0 ko	[liste des fichiers]