@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix opencyc:	<http://sw.opencyc.org/2008/06/10/concept/> .
dbpedia:Formal_verification	rdf:type	opencyc:Mx4rHIBS0h_TEdaAAABQ2rksLw .
@prefix ns3:	<http://dbpedia.org/class/yago/> .
dbpedia:Formal_verification	rdf:type	ns3:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Formal_verification	owl:sameAs	opencyc:Mx4rvrcOLpwpEbGdrcN5Y29ycA ,
		<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000001a6370> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns6:	<http://en.wikipedia.org/wiki/> .
dbpedia:Formal_verification	foaf:page	ns6:Formal_verification .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Formal_verification	dbpprop:reference	<http://www.cl.cam.ac.uk/~jrh13/slides/types-04sep99/slides1.pdf> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Formal_verification	rdfs:label	"Verifizierung"@de ,
		"Form\u00E1ln\u00ED verifikace"@cs ,
		"\u0412\u0435\u0440\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u044F \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430"@uk ,
		"\u5F62\u5F0F\u9A8C\u8BC1"@zh ,
		"Verifica\u00E7\u00E3o formal"@pt ,
		"V\u00E9rification formelle"@fr ,
		"\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430\u044F \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044F"@ru ,
		"Verificaci\u00F3n formal"@es ,
		"Verifikasjon"@no ,
		"Formal verification"@en ,
		"Weryfikacja formalna"@pl ,
		"\u5F62\u5F0F\u7684\u691C\u8A3C"@ja ;
	dbpprop:abstract	"On parle de v\u00E9rification formelle quand on utilise les techniques des m\u00E9thodes formelles. Se r\u00E9f\u00E9rer \u00E0 cet article pour plus de d\u00E9tails. Dans le monde industriel, la v\u00E9rification formelle est utilis\u00E9e aussi bien pour v\u00E9rifier du code informatique, que du code de circuits \u00E9lectroniques."@fr ,
		"\u5F62\u5F0F\u7684\u691C\u8A3C\uFF08\u3051\u3044\u3057\u304D\u3066\u304D\u3051\u3093\u3057\u3087\u3046\uFF09\u3068\u306F\u3001\u30CF\u30FC\u30C9\u30A6\u30A7\u30A2\u304A\u3088\u3073\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u306E\u30B7\u30B9\u30C6\u30E0\u306B\u304A\u3044\u3066\u5F62\u5F0F\u624B\u6CD5\u3084\u6570\u5B66\u3092\u5229\u7528\u3057\u3001\u4F55\u3089\u304B\u306E\u5F62\u5F0F\u4ED5\u69D8\u3084\u30D7\u30ED\u30D1\u30C6\u30A3\u306B\u7167\u3089\u3057\u3066\u30B7\u30B9\u30C6\u30E0\u304C\u6B63\u3057\u3044\u3053\u3068\u3092\u8A3C\u660E\u3057\u305F\u308A\u3001\u9006\u306B\u6B63\u3057\u304F\u306A\u3044\u3053\u3068\u3092\u8A3C\u660E\u3059\u308B\u3053\u3068\u3067\u3042\u308B\u3002"@ja ,
		"La verificaci\u00F3n formal es un m\u00E9todo de validaci\u00F3n est\u00E1tica (se valida a trav\u00E9s del propio c\u00F3digo del programa, a partir de una abstracci\u00F3n o de una representaci\u00F3n simb\u00F3lica), en el que partiendo de un conjunto axiom\u00E1tico, reglas de inferencia y alg\u00FAn lenguage l\u00F3gico (como la l\u00F3gica de primer orden u otra de preferencia una l\u00F3gica s\u00F3lida y completa), se puede encontrar una demostraci\u00F3n o prueba de correcci\u00F3n de un programa."@es ,
		"\u0412\u0435\u0440\u0438\u0444\u0456\u043A\u0430\u0301\u0446\u0456\u044F \u0444\u043E\u0440\u043C\u0430\u0301\u043B\u044C\u043D\u0430 \u2014 \u0432 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0446\u0456\u0439\u043D\u0438\u0445 \u0442\u0435\u0445\u043D\u043E\u043B\u043E\u0433\u0456\u044F\u0445, \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F, \u0430\u0431\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u0432\u0456\u0440\u043D\u043E\u0441\u0442\u0456 \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u043F\u043E \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044E \u0434\u043E \u043F\u0435\u0432\u043D\u043E\u0457 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0457 \u0441\u043F\u0435\u0446\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u0457 \u0430\u0431\u043E \u0445\u0430\u0440\u0430\u043A\u0442\u0435\u0440\u0438\u0441\u0442\u0438\u043A\u0438, \u0456\u0437 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u0430\u043D\u043D\u044F\u043C \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0438\u0445 \u043C\u0435\u0442\u043E\u0434\u0456\u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438."@uk ,
		"Verifikasjon (av latin verus = \u00ABsann\u00BB)"@no ,
		"\u0412 \u043A\u043E\u043D\u0442\u0435\u043A\u0441\u0442\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u044B\u0445 \u0438 \u0430\u043F\u043F\u0430\u0440\u0430\u0442\u043D\u044B\u0445 \u0441\u0438\u0441\u0442\u0435\u043C \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430\u044F \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044F \u2014 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0445 \u043C\u0435\u0442\u043E\u0434\u043E\u0432 \u043A\u043E\u0440\u0440\u0435\u043A\u0442\u043D\u043E\u0441\u0442\u0438 \u0438\u043B\u0438 \u043D\u0435\u043A\u043E\u0440\u0440\u0435\u043A\u0442\u043D\u043E\u0441\u0442\u0438 (\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E\u0441\u0442\u0438 \u0438\u043B\u0438 \u043D\u0435\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E\u0441\u0442\u0438) \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u0432, \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u0438 \u0441\u0438\u0441\u0442\u0435\u043C \u0432 \u0441\u043E\u043E\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u0441 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u043C \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u0435\u043C \u0438\u0445 \u0441\u0432\u043E\u0439\u0441\u0442\u0432."@ru ,
		"Verifizierung oder Verifikation (von lat. veritas, Wahrheit und facere, machen) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist. Der Begriff wird unterschiedlich gebraucht, je nachdem, ob man sich bei der Wahrheitsfindung nur auf einen gef\u00FChrten Beweis st\u00FCtzen mag oder aber auch die in der Praxis leichter realisierbare best\u00E4tigende \u00DCberpr\u00FCfung und Beglaubigung des Sachverhaltes durch Argumente einer unabh\u00E4ngigen Instanz als Verifizierung betrachtet."@de ,
		"V oblasti po\u010D\u00EDta\u010Dov\u00FDch syst\u00E9m\u016F form\u00E1ln\u00ED verifikace dokazuje nebo vyvrac\u00ED spr\u00E1vnost syst\u00E9mu vzhledem k dan\u00E9 form\u00E1ln\u00ED specifikaci nebo vlastnosti, pou\u017Eit\u00EDm matematick\u00FDch form\u00E1ln\u00EDch metod."@cs ,
		"In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics."@en ,
		"Verifica\u00E7\u00E3o formal \u00E9 a prova matem\u00E1tica da conformidade dum algoritmo a certa especifica\u00E7\u00E3o formal ou propriedade, usando m\u00E9todos formais."@pt ,
		"\u5728\u8BA1\u7B97\u673A\u786C\u4EF6\u548C\u8F6F\u4EF6\u7CFB\u7EDF\u4E2D\uFF0C\u5F62\u5F0F\u9A8C\u8BC1\u7684\u542B\u4E49\u662F\u6839\u636E\u67D0\u4E2A\u6216\u67D0\u4E9B\u5F62\u5F0F\u89C4\u8303\u6216\u5C5E\u6027\uFF0C\u4F7F\u7528\u6570\u5B66\u7684\u65B9\u6CD5\u8BC1\u660E\u5176\u6B63\u786E\u6027\u6216\u975E\u6B63\u786E\u6027\u3002"@zh ,
		"W informatyce weryfikacja formalna to stwierdzenie o poprawno\u015Bci algorytmu w oparciu o formalne metody matematyczne."@pl ;
	rdfs:comment	"In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics."@en ,
		"Verifikasjon (av latin verus = \u00ABsann\u00BB)"@no ,
		"Verifica\u00E7\u00E3o formal \u00E9 a prova matem\u00E1tica da conformidade dum algoritmo a certa especifica\u00E7\u00E3o formal ou propriedade, usando m\u00E9todos formais."@pt ,
		"\u0412\u0435\u0440\u0438\u0444\u0456\u043A\u0430\u0301\u0446\u0456\u044F \u0444\u043E\u0440\u043C\u0430\u0301\u043B\u044C\u043D\u0430 \u2014 \u0432 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0446\u0456\u0439\u043D\u0438\u0445 \u0442\u0435\u0445\u043D\u043E\u043B\u043E\u0433\u0456\u044F\u0445, \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F, \u0430\u0431\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u0432\u0456\u0440\u043D\u043E\u0441\u0442\u0456 \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u043F\u043E \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044E \u0434\u043E \u043F\u0435\u0432\u043D\u043E\u0457 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0457 \u0441\u043F\u0435\u0446\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u0457 \u0430\u0431\u043E \u0445\u0430\u0440\u0430\u043A\u0442\u0435\u0440\u0438\u0441\u0442\u0438\u043A\u0438, \u0456\u0437 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u0430\u043D\u043D\u044F\u043C \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0438\u0445 \u043C\u0435\u0442\u043E\u0434\u0456\u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438."@uk ,
		"La verificaci\u00F3n formal es un m\u00E9todo de validaci\u00F3n est\u00E1tica (se valida a trav\u00E9s del propio c\u00F3digo del programa, a partir de una abstracci\u00F3n o de una representaci\u00F3n simb\u00F3lica), en el que partiendo de un conjunto axiom\u00E1tico, reglas de inferencia y alg\u00FAn lenguage l\u00F3gico (como la l\u00F3gica de primer orden u otra de preferencia una l\u00F3gica s\u00F3lida y completa), se puede encontrar una demostraci\u00F3n o prueba de correcci\u00F3n de un programa."@es ,
		"\u5728\u8BA1\u7B97\u673A\u786C\u4EF6\u548C\u8F6F\u4EF6\u7CFB\u7EDF\u4E2D\uFF0C\u5F62\u5F0F\u9A8C\u8BC1\u7684\u542B\u4E49\u662F\u6839\u636E\u67D0\u4E2A\u6216\u67D0\u4E9B\u5F62\u5F0F\u89C4\u8303\u6216\u5C5E\u6027\uFF0C\u4F7F\u7528\u6570\u5B66\u7684\u65B9\u6CD5\u8BC1\u660E\u5176\u6B63\u786E\u6027\u6216\u975E\u6B63\u786E\u6027\u3002"@zh ,
		"\u0412 \u043A\u043E\u043D\u0442\u0435\u043A\u0441\u0442\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u044B\u0445 \u0438 \u0430\u043F\u043F\u0430\u0440\u0430\u0442\u043D\u044B\u0445 \u0441\u0438\u0441\u0442\u0435\u043C \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430\u044F \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044F \u2014 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0445 \u043C\u0435\u0442\u043E\u0434\u043E\u0432 \u043A\u043E\u0440\u0440\u0435\u043A\u0442\u043D\u043E\u0441\u0442\u0438 \u0438\u043B\u0438 \u043D\u0435\u043A\u043E\u0440\u0440\u0435\u043A\u0442\u043D\u043E\u0441\u0442\u0438 (\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E\u0441\u0442\u0438 \u0438\u043B\u0438 \u043D\u0435\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E\u0441\u0442\u0438) \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u0432, \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u0438 \u0441\u0438\u0441\u0442\u0435\u043C \u0432 \u0441\u043E\u043E\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u0441 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u043C \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u0435\u043C \u0438\u0445 \u0441\u0432\u043E\u0439\u0441\u0442\u0432."@ru ,
		"\u5F62\u5F0F\u7684\u691C\u8A3C\uFF08\u3051\u3044\u3057\u304D\u3066\u304D\u3051\u3093\u3057\u3087\u3046\uFF09\u3068\u306F\u3001\u30CF\u30FC\u30C9\u30A6\u30A7\u30A2\u304A\u3088\u3073\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u306E\u30B7\u30B9\u30C6\u30E0\u306B\u304A\u3044\u3066\u5F62\u5F0F\u624B\u6CD5\u3084\u6570\u5B66\u3092\u5229\u7528\u3057\u3001\u4F55\u3089\u304B\u306E\u5F62\u5F0F\u4ED5\u69D8\u3084\u30D7\u30ED\u30D1\u30C6\u30A3\u306B\u7167\u3089\u3057\u3066\u30B7\u30B9\u30C6\u30E0\u304C\u6B63\u3057\u3044\u3053\u3068\u3092\u8A3C\u660E\u3057\u305F\u308A\u3001\u9006\u306B\u6B63\u3057\u304F\u306A\u3044\u3053\u3068\u3092\u8A3C\u660E\u3059\u308B\u3053\u3068\u3067\u3042\u308B\u3002"@ja ,
		"V oblasti po\u010D\u00EDta\u010Dov\u00FDch syst\u00E9m\u016F form\u00E1ln\u00ED verifikace dokazuje nebo vyvrac\u00ED spr\u00E1vnost syst\u00E9mu vzhledem k dan\u00E9 form\u00E1ln\u00ED specifikaci nebo vlastnosti, pou\u017Eit\u00EDm matematick\u00FDch form\u00E1ln\u00EDch metod."@cs ,
		"Verifizierung oder Verifikation (von lat. veritas, Wahrheit und facere, machen) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist. Der Begriff wird unterschiedlich gebraucht, je nachdem, ob man sich bei der Wahrheitsfindung nur auf einen gef\u00FChrten Beweis st\u00FCtzen mag oder aber auch die in der Praxis leichter realisierbare best\u00E4tigende \u00DCberpr\u00FCfung und Beglaubigung des Sachverhaltes durch Argumente einer unabh\u00E4ngigen Instanz als Verifizierung betrachtet."@de ,
		"W informatyce weryfikacja formalna to stwierdzenie o poprawno\u015Bci algorytmu w oparciu o formalne metody matematyczne."@pl ,
		"On parle de v\u00E9rification formelle quand on utilise les techniques des m\u00E9thodes formelles. Se r\u00E9f\u00E9rer \u00E0 cet article pour plus de d\u00E9tails. Dans le monde industriel, la v\u00E9rification formelle est utilis\u00E9e aussi bien pour v\u00E9rifier du code informatique, que du code de circuits \u00E9lectroniques."@fr .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns10:	<http://dbpedia.org/resource/Category:> .
dbpedia:Formal_verification	skos:subject	ns10:Logic_in_computer_science ,
		ns10:Formal_methods ,
		ns10:Electronic_circuit_verification ,
		ns10:Theoretical_computer_science .
@prefix ns11:	<http://dbpedia.org/resource/Template:> .
dbpedia:Formal_verification	dbpprop:wikiPageUsesTemplate	ns11:mergeto ;
	dbpprop:date	"November 2008"@en ;
	dbpprop:discuss	"Talk:Verification and Validation Merge proposal"@en .
@prefix ns12:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Formal_verification	dbpprop:hasPhotoCollection	ns12:Formal_verification .
dbpedia:Verification	dbpprop:disambiguates	dbpedia:Formal_verification .
dbpedia:Formal	dbpprop:disambiguates	dbpedia:Formal_verification .
@prefix dbpedia-owl:	<http://dbpedia.org/ontology/> .
dbpedia:Frama-C	dbpedia-owl:genre	dbpedia:Formal_verification .
@prefix ns14:	<http://dbpedia.org/ontology/Work/> .
dbpedia:Frama-C	ns14:genre	dbpedia:Formal_verification ;
	dbpprop:genre	dbpedia:Formal_verification .
dbpedia:Program_proof	dbpprop:redirect	dbpedia:Formal_verification .
dbpedia:Program_verification	dbpprop:redirect	dbpedia:Formal_verification .
dbpedia:Hardware_verification	dbpprop:redirect	dbpedia:Formal_verification .
dbpedia:Program_proving	dbpprop:redirect	dbpedia:Formal_verification .
dbpedia:Verifiability	dbpprop:redirect	dbpedia:Formal_verification .
dbpedia:Verifiable	dbpprop:redirect	dbpedia:Formal_verification .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Formal_verification	owl:sameAs	dbpedia:Formal_verification .