Special

Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

Property "Talk-20abstract" (as page type) with input value "Frama-2DC-20est-20une-20plateforme-20d'analyse-20de-20code-20C-20visant-20à-20vérifier-20des-20programmes-0AC-20de-20taille-20industrielle.-20Elle-20fournit-20à-20ses-20utilisateurs-20une-20collection-20de-0Agreffons-20effectuant-20notamment-20des-20analyses-20statiques-20par-20interprétation-0Aabstraite-20et-20des-20méthodes-20déductives-20ou-20encore-20permettant-20des-20vérifications-20à-0Al'exécution.-20La-20plateforme-20permet-20également-20de-20faire-20coopérer-20les-20analyses-20grâce-0Aau-20partage-20d'un-20noyau-20et-20d'un-20langage-20de-20spécification-20communs.-0A-0ACet-20exposé-20présente-20une-20vue-20générale-20de-20la-20plateforme,-20de-20ses-20principaux-0Aanalyseurs-20et-20de-20quelques-20applications-20industrielles.-20Il-20se-20concentre-20sur-20le-0Alangage-20de-20spécification-20ACSL-20et-20sur-20différentes-20façons-20de-20vérifier-20des-0Aspécifications-20ACSL-20avec-20des-20analyses-20statiques-20ou-20dynamiques." contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

Showing below up to 0 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

No results.
Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty"