Table des matières
17 relations: Amir Pnueli, Congrès scientifique, Conseil australien de la recherche, David L. Dill, Démonstration automatique de théorèmes, Digital Bibliography & Library Project, Edmund M. Clarke, Joseph Sifakis, Journal of the ACM, Libre accès (édition scientifique), Liste des principales conférences d'informatique théorique, Rajeev Alur, Réduction par ordre partiel, Springer Science+Business Media, Système hybride, Tutoriel, Vérification de modèles.
Amir Pnueli
Amir Pnueli (אמיר פנואלי) est un informaticien israélien né le et mort le d'une hémorragie intra-cérébrale.
Voir Computer Aided Verification et Amir Pnueli
Congrès scientifique
Un congrès ou conférence scientifique est un événement qui vise à rassembler des chercheurs et ingénieurs d'un domaine pour faire état de leurs avancées.
Voir Computer Aided Verification et Congrès scientifique
Conseil australien de la recherche
Le Conseil australien de la recherche (ARC) est le principal organisme de financement de la recherche non médicale du gouvernement australien, distribuant plus de en bourses chaque année.
Voir Computer Aided Verification et Conseil australien de la recherche
David L. Dill
David Lansing Dill (né le) est un informaticien et professeur américain connu pour des contributions à la vérification formelle, au vote électronique, et l'informatique de la biologie des systèmes.
Voir Computer Aided Verification et David L. Dill
Démonstration automatique de théorèmes
La démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur.
Voir Computer Aided Verification et Démonstration automatique de théorèmes
Digital Bibliography & Library Project
Logo depuis 2012. Le Digital Bibliography & Library Project (DBLP, littéralement « Projet de bibliothèque et de bibliographie numérique ») est un site web publiant un catalogue de bibliographies en informatique.
Voir Computer Aided Verification et Digital Bibliography & Library Project
Edmund M. Clarke
Edmund Melson Clarke, Jr. (-) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel.
Voir Computer Aided Verification et Edmund M. Clarke
Joseph Sifakis
Joseph Sifakis (en grec moderne: Ιωσήφ Σηφάκης, Iosif Sifakis) est un chercheur en informatique français d'origine grecque, né le à Héraklion (Crète), directeur de recherche au CNRS et membre de l'Académie des technologies.
Voir Computer Aided Verification et Joseph Sifakis
Journal of the ACM
Journal of the ACM (Journal de l'ACM) est la revue scientifique majeure de l'Association for Computing Machinery (ACM).
Voir Computer Aided Verification et Journal of the ACM
Libre accès (édition scientifique)
Le libre accès ou accès ouvert (en anglais) a est la mise à disposition en ligne de contenus numériques, qui peuvent eux-mêmes être soit libres (Creative Commons), soit sous un des régimes de propriété intellectuelle.
Voir Computer Aided Verification et Libre accès (édition scientifique)
Liste des principales conférences d'informatique théorique
Cette liste des principales conférences d'informatique théorique regroupe ces conférences par thèmes.
Voir Computer Aided Verification et Liste des principales conférences d'informatique théorique
Rajeev Alur
Rajeev Alur, né le, est un informaticien théoricien de citoyenneté américaine d'origine indienne.
Voir Computer Aided Verification et Rajeev Alur
Réduction par ordre partiel
En informatique, la réduction par ordre partiel est une technique pour éviter l'explosion d'états en vérification de modèles, en planification automatique.
Voir Computer Aided Verification et Réduction par ordre partiel
Springer Science+Business Media
Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.
Voir Computer Aided Verification et Springer Science+Business Media
Système hybride
Un système hybride est un système dynamique faisant intervenir explicitement et simultanément des comportements continus et discrets.
Voir Computer Aided Verification et Système hybride
Tutoriel
Intertitre en corps de page, modification Un tutoriel.
Voir Computer Aided Verification et Tutoriel
Vérification de modèles
model checking''. En informatique, la vérification de modèles, ou en anglais, est le problème suivant: vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété.