About: dbpedia-fr:CertiKOS

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:CertiKOS Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	CertiKOS (fr)
rdfs:comment	CertiKOS est un projet développé par Zhong Shao, professeur à l'Université de Yale, dans le Connecticut, avec la participation d'une équipe de 6 autres chercheurs. CertiKOS (Certified Kit Operating System) est un outil méthodologique de conception et de développement de systèmes d’exploitation certifiés. Son approche se fait autour de la définition et la Certification de couches d'abstraction, elles-mêmes basées sur la sémantique de spécification riche (spécifications profondes). Ces procédés répondent à ce qui peut être considéré comme une loi fondamentale, un raffinement contextuel fort. Cette méthodologie permet non seulement de certifier toute la sémantique (par l'assistant de preuve de Coq) mais également de certifier la compilation grâce à l'utilisation de CompCertX. CertiKOS permet (fr)
sameAs	wikidata:Q60965189 http://g.co/kg/g/11gyc22vk1
Wikipage page ID	12297843 (xsd:integer)
Wikipage revision ID	189344097 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Méthodologie Abstraction (computer science) Static program analysis dbpedia-fr:Assembleur Proof assistant Software bug category-fr:Informatique category-fr:Logique_formelle category-fr:Méthode_formelle Certification Cloud computing dbpedia-fr:Code_source Inter-process communication Compiler Connecticut dbpedia-fr:Coq_(logiciel) DARPA Home automation dbpedia-fr:Drone dbpedia-fr:Edsger_Dijkstra User space and kernel space Linux Foundation dbpedia-fr:Hyperviseur dbpedia-fr:Implication_(logique) Code injection dbpedia-fr:Lemme_(mathématiques) dbpedia-fr:Linux Data buffer Random-access memory dbpedia-fr:Méthode_formelle_(informatique) Linux kernel Kernel (operating system) dbpedia-fr:Pointeur_(programmation) Evidence dbpedia-fr:Processeur dbpedia-fr:Programme_informatique Refinement (computing) Smartphone Spinlock dbpedia-fr:Superordinateur dbpedia-fr:Système_d'exploitation dbpedia-fr:Système_embarqué dbpedia-fr:Sécurité_des_systèmes_d'information dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Théorie_axiomatique Triviality (mathematics) Memory management unit Yale University dbpedia-fr:Vulnérabilité_(informatique) dbpedia-fr:X86 dbpedia-fr:ZDNet Multi-core processor dbpedia-fr:Linuxfoundation dbpedia-fr:Transparency_Market_Research
Link from a Wikipage to an external page	http://users.csc.calpoly.edu/~jdalbey/SWE/Papers/att_collapse https://certik.org/ https://controverses.github.io/4CTpreuvesinformatiques/%23main https://www.cert.ssi.gouv.fr/alerte/CERTFR-2018-ALE-012/ https://www.edn.com/design/automotive/4423428/Toyota-s-killer-firmware--Bad-design-and-its-consequences https://www.linuxfoundation.org/2017-linux-kernel-report-landing-page/ https://www.transparencymarketresearch.com/pressrelease/embedded-system.htm https://www.us-cert.gov/ncas/current-activity/2018/11/07/Apple-Releases-Security-Updates-iCloud-iOS https://www.zdnet.fr/actualites/chiffres-cles-les-ventes-de-mobiles-et-de-smartphones-39789928.htm https://www.usenix.org/system/files/conference/osdi16/osdi16-gu.pdf https://www.cert.ssi.gouv.fr/alerte/CERTFR-2018-ALE-001/ https://www.cert.ssi.gouv.fr/avis/CERTFR-2018-AVI-581/ https://www.us-cert.gov/ https://www.us-cert.gov/ncas/current-activity/2018/10/31/Apache-Releases-Security-Update-Apache-Tomcat-JK-Connectors https://www.us-cert.gov/ncas/current-activity/2018/11/07/Cisco-Releases-Security-Updates https://www.us-cert.gov/ncas/current-activity/2018/11/13/Microsoft-Releases-November-2018-Security-Updates https://www.us-cert.gov/ncas/current-activity/2018/11/22/VMware-Releases-Security-Updates https://www.cert.ssi.gouv.fr http://images.math.cnrs.fr/Un-ordinateur-pour-verifier-les.html https://pdfs.semanticscholar.org/0dd7/9b76356624f5f3d7df27721fb4c44c95f0f0.pdf https://www.youtube.com/watch%3Fv=2df39-QA4x0 https://www.youtube.com/watch%3Fv=RHXpz2ZJ-w0 https://www.youtube.com/watch%3Fv=ibdjeEHSF54&t=756s
page length (characters) of wiki page	38636 (xsd:nonNegativeInteger)
dct:subject	category-fr:Méthodologie category-fr:Informatique category-fr:Logique_formelle category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:3e dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Plume dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software