<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Cadence_Design_Systems> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Isabelle_(theorem_prover)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Infer_Static_Analyzer> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Probabilistically_checkable_proof> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Software_industry> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Compiler_correctness> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Anca_Muscholl> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Abstract_model_checking> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Intelligent_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Digital_circuit> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Use_case> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Programming_by_permutation> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Attempto_Controlled_English> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Hybrid_automata> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Temporal_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Extended_static_checking> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Program_synthesis> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Supratik_Chakraborty> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Satisfiability_modulo_theories> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Verifica\u00E7\u00E3o formal"@pt .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/David_May_(computer_scientist)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Genetic_programming> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/East_China_Normal_University> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Verifica\u00E7\u00E3o formal \u00E9 a prova matem\u00E1tica da conformidade de um algoritmo a certa especifica\u00E7\u00E3o formal ou propriedade, usando m\u00E9todos formais."@pt .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"\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\u8A18\u8FF0\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 \u5B8C\u5168\u306A\u5F62\u5F0F\u7684\u691C\u8A3C\u306F\u3001\u30B7\u30B9\u30C6\u30E0\u306B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u306E\u8AA4\u308A\u304C\u306A\u3044\u3053\u3068\u3092\u4FDD\u8A3C\u3059\u308B\u65E2\u77E5\u306E\u552F\u4E00\u306E\u65B9\u6CD5\u3067\u3042\u308B\u3002\u201C\u201DACM\u30B7\u30F3\u30DD\u30B8\u30A6\u30E0\u3067\u767A\u8868\u3055\u308C\u305F\u8AD6\u6587\u306E\u8981\u7D04\u304B\u3089"@ja .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/NuSMV> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Jeremy_Avigad> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_important_publications_in_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Cryptographic_protocol> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://it.dbpedia.org/resource/Verifica_formale> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Runtime_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Dov_Gabbay> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Formal_methods> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Citation_needed> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Circuit_design> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_terms_relating_to_algorithms_and_data_structures> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Correctness_(computer_science)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Verve_(operating_system)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Vector_addition_system> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/V\u00E9ronique_Bruy\u00E8re> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Jose_Meseguer> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Outline_of_electronics> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Kristin_Yvonne_Rozier> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Cleanup> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/CPAchecker> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Nissim_Francez> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Euclid_(programming_language)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/International_Conference_on_Reachability_Problems> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Automated_theorem_proving> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Electronic_design_automation> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Automatic_bug_fixing> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Randal_Bryant> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_pioneers_in_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Programming_language_specification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Design_by_contract> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/AI_alignment> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"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 .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Grigore_Ro\u0219u> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Logic_simulation> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Functional_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Madhavan_Mukund> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Wiktionary> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Temporal_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#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. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code."@en .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://es.dbpedia.org/resource/Verificaci\u00F3n_formal> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Aubrey_de_Grey> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Verification_and_validation> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430 \u0432\u0435\u0440\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u044F"@uk .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Harmony_(operating_system)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Outline_of_formal_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_important_publications_in_theoretical_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/McCarthy_91_function> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Alphard_(programming_language)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_academic_fields> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Category:Formal_methods> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Decidability_(logic)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/XCB> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/First-order_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Sinclair_Research> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"La verificaci\u00F3n formal, en ingenier\u00EDa y en computaci\u00F3n, 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 lenguaje l\u00F3gico (como la l\u00F3gica de primer orden), se puede encontrar una demostraci\u00F3n o prueba de correcci\u00F3n de un programa, algoritmo, etc, aunque tambi\u00E9n se puede encontrar su refutaci\u00F3n.\u200BEs un m\u00E9todo necesario para probar cualquier programa o teor\u00EDa pero, aunque sea satisfactoria, no asegura que la soluci\u00F3n sea del todo correcta."@es .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430\u044F \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044F \u0438\u043B\u0438 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u2014 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u0441\u043E\u043E\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u044F \u0438\u043B\u0438 \u043D\u0435\u0441\u043E\u043E\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u044F \u043F\u0440\u0435\u0434\u043C\u0435\u0442\u0430 \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0438 \u0435\u0433\u043E \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u043C\u0443 \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u044E. \u041F\u0440\u0435\u0434\u043C\u0435\u0442\u043E\u043C \u0432\u044B\u0441\u0442\u0443\u043F\u0430\u044E\u0442 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u044B, \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u0438 \u0434\u0440\u0443\u0433\u0438\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u0430. \u0418\u0437-\u0437\u0430 \u0440\u0443\u0442\u0438\u043D\u043D\u043E\u0441\u0442\u0438 \u0434\u0430\u0436\u0435 \u043F\u0440\u043E\u0441\u0442\u043E\u0439 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0438 \u0438 \u0442\u0435\u043E\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E\u0441\u0442\u0438 \u0438\u0445 \u043F\u043E\u043B\u043D\u043E\u0439 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0437\u0430\u0446\u0438\u0438 \u043F\u043E\u0434 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0435\u0439 \u043E\u0431\u044B\u0447\u043D\u043E \u043F\u043E\u0434\u0440\u0430\u0437\u0443\u043C\u0435\u0432\u0430\u044E\u0442 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0443\u044E \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044E \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B."@ru .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Graph_automorphism> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/List_of_important_publications_in_theoretical_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Linux_Foundation> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Reflist> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Semantics> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Digital_electronics> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Theoretical_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Monadic_second-order_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Axiomatic_semantics> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_programmers> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Unit_testing> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Linear_temporal_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Tony_Hoare> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/ARM11> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/On_the_Cruelty_of_Really_Teaching_Computer_Science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/European_Master_Program_in_Computational_Logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Form\u00E1ln\u00ED verifikace"@cs .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Type_system> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Invariant-based_programming> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"\u5F62\u5F0F\u7684\u691C\u8A3C"@ja .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Hardware_description_language> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"1119112027"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Linear_temporal_logic_to_B\u00FCchi_automaton> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/E._Allen_Emerson> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Formal_equivalence_checking> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://fr.dbpedia.org/resource/V\u00E9rification_formelle> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Automatic_program_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Deadlock> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Discrete_mathematics> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Short_description> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://zh.dbpedia.org/resource/\u5F62\u5F0F\u9A8C\u8BC1> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Orna_Kupferman> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Use_mdy_dates> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Generalized_B\u00FCchi_automaton> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/TAPAAL_Model_Checker> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Integer_overflow> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/GrammaTech> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Automated_theorem_proving> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/SPARK_(programming_language)> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/Agent> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Timed_automaton> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Data_type> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Interaction_protocol> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Combinational_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/Organisation> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Program_derivation> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430\u044F \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044F \u0438\u043B\u0438 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u2014 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u0441\u043E\u043E\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u044F \u0438\u043B\u0438 \u043D\u0435\u0441\u043E\u043E\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u044F \u043F\u0440\u0435\u0434\u043C\u0435\u0442\u0430 \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0438 \u0435\u0433\u043E \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u043C\u0443 \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u044E. \u041F\u0440\u0435\u0434\u043C\u0435\u0442\u043E\u043C \u0432\u044B\u0441\u0442\u0443\u043F\u0430\u044E\u0442 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u044B, \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u0438 \u0434\u0440\u0443\u0433\u0438\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u0430. \u0418\u0437-\u0437\u0430 \u0440\u0443\u0442\u0438\u043D\u043D\u043E\u0441\u0442\u0438 \u0434\u0430\u0436\u0435 \u043F\u0440\u043E\u0441\u0442\u043E\u0439 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0438 \u0438 \u0442\u0435\u043E\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E\u0441\u0442\u0438 \u0438\u0445 \u043F\u043E\u043B\u043D\u043E\u0439 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0437\u0430\u0446\u0438\u0438 \u043F\u043E\u0434 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0435\u0439 \u043E\u0431\u044B\u0447\u043D\u043E \u043F\u043E\u0434\u0440\u0430\u0437\u0443\u043C\u0435\u0432\u0430\u044E\u0442 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0443\u044E \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044E \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B."@ru .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Binary_decision_diagram> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Data_validation> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Hoare_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Formal_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Fluctuat> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/High-level_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/SYSGO> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Complexity_class> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Property_Specification_Language> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/L4_microkernel_family> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Weryfikacja formalna \u2013 stwierdzenie poprawno\u015Bci algorytmu w oparciu o formalne metody matematyczne."@pl .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Software_system> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Termination_analysis> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Signoff_(electronic_design_automation)> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"V\u00E9rification formelle"@fr .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Patrick_Lincoln> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Tezos> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Program_derivation> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Intelligent_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageLength>	"15914"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Automated_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Promela> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Main> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/ELLA_(programming_language)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Abstract_interpretation> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://rdf.freebase.com/ns/m.01nswj> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Thomas_Callister_Hales> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Symbolic_simulation> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Application-specific_integrated_circuit> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:As_of> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Zeno\u0027s_paradoxes> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Nell'ambito dei sistemi software e hardware la verifica formale \u00E8 l'azione di provare o smentire matematicamente la correttezza degli algoritmi di un sistema controllando che rispettino specifiche formali o propriet\u00E0, usando metodi formali matematici. Risulta utile per fornire la correttezza di sistemi come: protocolli crittografici, circuiti combinatori, circuiti digitali con memoria interna e software espressi in codice sorgente."@it .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/resource/Act> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Synchronous_programming_language> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://ru.dbpedia.org/resource/\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430\u044F_\u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044F> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Weryfikacja formalna"@pl .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/CompCert> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Formal_specification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Hardware_industry> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Isabelle_(proof_assistant)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Graph_rewriting> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Grant_Olney> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Mathematical_model> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Open_Letter_on_Artificial_Intelligence> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"La verificaci\u00F3n formal, en ingenier\u00EDa y en computaci\u00F3n, 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 lenguaje l\u00F3gico (como la l\u00F3gica de primer orden), se puede encontrar una demostraci\u00F3n o prueba de correcci\u00F3n de un programa, algoritmo, etc, aunque tambi\u00E9n se puede encontrar su refutaci\u00F3n.\u200BEs un m\u00E9todo necesario para probar cualquier programa o teor\u00EDa pero, aunque sea satisfactoria, no asegura que la soluci\u00F3n sea del todo correcta. Dentro de la computaci\u00F3n, la verificaci\u00F3n es usada para estudiar los distintos sistemas software (en c\u00F3digo fuente), sistemas combinacionales, circuitos digitales, etc. Uno de los precursores de la verificaci\u00F3n fue Edsger Dijkstra que, mostrando mucho inter\u00E9s en ella durante los 70, public\u00F3 el libro \"A Discipline of Programming\", en el cual, present\u00F3 su m\u00E9todo de desarrollo sistem\u00E1tico de programas junto con sus pruebas de correcci\u00F3n, todos ellos basados en la verificaci\u00F3n formal."@es .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Prototype_Verification_System> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Xmonad> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_computer_scientists> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Outline_of_academic_disciplines> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_computer_science_conferences> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Computational_tree_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Computational_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Mathematical_proof> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"Egiaztapen formala (hardware eta softwareen sistemei dagokionez), algoritmo jakin bat espezifikazio formal batekiko zuzena dela frogatzean datza, horretarako matematikak eskaintzen dituen metodo formalak medio direlarik. Algoritmo hauen egiaztapena gauzatzako, dagokion sistemaren (hardware edo softwarea, kasuak kasu) eredu matematiko abstraktu batean oinarritzen den bat eman behar da. Hauek dira sistemen eredutzat erabiltzen diren eredu matematiko batzuk: egoera makina finituak, , , , , , , eta ."@eu .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"\u5728\u8BA1\u7B97\u673A\u786C\u4EF6\uFF08\u7279\u522B\u662F\u96C6\u6210\u7535\u8DEF\uFF09\u548C\u8F6F\u4EF6\u7CFB\u7EDF\u7684\u8BBE\u8BA1\u8FC7\u7A0B\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 .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Cn> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/KeY> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Arvind_(computer_scientist)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Theoretical_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Side_effect_(computer_science)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Post-silicon_validation> .
<http://dbpedia.org/resource/Formal_verification>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Theoretical_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Linear_temporal_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://pl.dbpedia.org/resource/Weryfikacja_formalna> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Alt-Ergo> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Certifying_algorithm> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://www.wikidata.org/entity/Q173326> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Static_code_analysis> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Petri_net> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Correct_by_construction> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Dynamic_logic_(modal_logic)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Paris_Kanellakis_Award> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Logic_in_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Peter_O\u0027Hearn> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Model_checking> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Ehrenfeucht\u2013Fra\u00EFss\u00E9_game> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430\u044F \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044F"@ru .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Marta_Kwiatkowska> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Zohar_Manna> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"\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\u043A\u0430\u0437, \u0430\u0431\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u043D\u043E\u0441\u0442\u0456 \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u0443 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u0456 \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 .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Egiaztapen formala (informatika)"@eu .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Loop_unrolling> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Szyma\u0144ski\u0027s_algorithm> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://pt.dbpedia.org/resource/Verifica\u00E7\u00E3o_formal> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Computation_tree_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Operational_semantics> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/SIGNAL_(programming_language)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Program_proof> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"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 .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Program_proving> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Kevin_Buzzard> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Computer_security> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"On parle de v\u00E9rification formelle quand on utilise les techniques des m\u00E9thodes formelles. Dans le monde industriel, la v\u00E9rification formelle est utilis\u00E9e aussi bien pour v\u00E9rifier du code informatique (bon fonctionnement des programmes avant la livraison du logiciel), que du code de circuits \u00E9lectroniques. \n* Portail de l\u2019informatique \n* Portail de l'informatique th\u00E9orique"@fr .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Coq> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://yago-knowledge.org/resource/Formal_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Hatnote_group> .
<http://dbpedia.org/resource/Formal_verification>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Logic_in_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/CompCert> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Act> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Soundness> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Distinguish> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Automata_theory> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Ability105616246> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Tamarin_Prover> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/PikeOS> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/KPI-driven_code_analysis> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"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. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code. The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction. Examples of mathematical objects often used to model systems are: finite-state machines, labelled transition systems, Petri nets, vector addition systems, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic."@en .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"\u5F62\u5F0F\u9A8C\u8BC1"@zh .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Oracle_(computability)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Program_verifier> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Formal verification"@en .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Source_code> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/SeL4> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Program_synthesis> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Hybrid_system> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Pentium_FDIV_bug> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://ja.dbpedia.org/resource/\u5F62\u5F0F\u7684\u691C\u8A3C> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/SNARK_(theorem_prover)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Algorithm> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Verificaci\u00F3n formal"@es .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Phil_Kaufman_Award> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"\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\u8A18\u8FF0\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 \u5B8C\u5168\u306A\u5F62\u5F0F\u7684\u691C\u8A3C\u306F\u3001\u30B7\u30B9\u30C6\u30E0\u306B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u306E\u8AA4\u308A\u304C\u306A\u3044\u3053\u3068\u3092\u4FDD\u8A3C\u3059\u308B\u65E2\u77E5\u306E\u552F\u4E00\u306E\u65B9\u6CD5\u3067\u3042\u308B\u3002\u201C\u201DACM\u30B7\u30F3\u30DD\u30B8\u30A6\u30E0\u3067\u767A\u8868\u3055\u308C\u305F\u8AD6\u6587\u306E\u8981\u7D04\u304B\u3089"@ja .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Chennai_Mathematical_Institute> .
<http://dbpedia.org/resource/Formal_verification>	<http://purl.org/linguistics/gold/hypernym>	<http://dbpedia.org/resource/Act> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/PRISM_model_checker> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Formal_methods> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Loop_invariant> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/AgentSpeak> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Timsort> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Xavier_Leroy> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Formell verifiering innefattar att bevisa eller motbevisa korrektheten f\u00F6r avsedda algoritmer som ligger till grund f\u00F6r ett system med avseende p\u00E5 en viss formell specifikation eller egenskap, med hj\u00E4lp av formella matematiska metoder."@sv .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"Verifica\u00E7\u00E3o formal \u00E9 a prova matem\u00E1tica da conformidade de um algoritmo a certa especifica\u00E7\u00E3o formal ou propriedade, usando m\u00E9todos formais."@pt .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/ATS_(programming_language)> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/PsychologicalFeature100023100> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Property_Specification_Language> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/HOL_theorem_prover> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Electronic_circuit_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Verifica formale"@it .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://cs.dbpedia.org/resource/Form\u00E1ln\u00ED_verifikace> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Boolean_satisfiability_problem> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://el.dbpedia.org/resource/\u03A4\u03C5\u03C0\u03B9\u03BA\u03AE_\u03B5\u03C0\u03B1\u03BB\u03AE\u03B8\u03B5\u03C5\u03C3\u03B7> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://eu.dbpedia.org/resource/Egiaztapen_formala_(informatika)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Dependent_types> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"Nell'ambito dei sistemi software e hardware la verifica formale \u00E8 l'azione di provare o smentire matematicamente la correttezza degli algoritmi di un sistema controllando che rispettino specifiche formali o propriet\u00E0, usando metodi formali matematici. Risulta utile per fornire la correttezza di sistemi come: protocolli crittografici, circuiti combinatori, circuiti digitali con memoria interna e software espressi in codice sorgente. La verifica di questi sistemi \u00E8 fatta fornendo una prova formale di un modello matematico astratto del sistema, la corrispondenza tra il modello matematico e la natura del sistema \u00E8 conosciuta sin dalla costruzione dello stesso.Nei modelli si usano di solito: macchina a stati finiti, sistema a transizione di stati, rete di Petri, Sistema addizionale di vettori, teoria degli automi temporizzata, teoria degli automi ibrida, calcolo algebrico, semantica formale dei linguaggi di programmazione come la semantica operazionale, la semantica denotazionale, la semantica assiomatica e la logica di Hoare."@it .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://sv.dbpedia.org/resource/Formell_verifiering> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Bird\u2013Meertens_formalism> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Process_algebra> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://uk.dbpedia.org/resource/\u0424\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0430_\u0432\u0435\u0440\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u044F> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://fa.dbpedia.org/resource/\u062F\u0631\u0633\u062A\u06CC\u200C\u06CC\u0627\u0628\u06CC_\u0635\u0648\u0631\u06CC> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://he.dbpedia.org/resource/\u05D0\u05D9\u05DE\u05D5\u05EA_\u05EA\u05D5\u05DB\u05E0\u05D4> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Robert_W._Floyd> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://simple.dbpedia.org/resource/Formal_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Electronic_circuit_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<http://tr.dbpedia.org/resource/Program_do\u011Frulama> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Post-silicon_validation> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Thing> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#sameAs>	<https://global.dbpedia.org/id/hcnQ> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"Weryfikacja formalna \u2013 stwierdzenie poprawno\u015Bci algorytmu w oparciu o formalne metody matematyczne."@pl .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/List_of_programming_language_researchers> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Functional_programming> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2002/07/owl#differentFrom>	<http://dbpedia.org/resource/Verificationism> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Computer-assisted_proof> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/David_L._Dill> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Ofer_Strichman> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"\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\u043A\u0430\u0437, \u0430\u0431\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u043D\u043E\u0441\u0442\u0456 \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u0443 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u0456 \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 .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/State_space_enumeration> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:More_citations_needed> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Limor_Fix> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Formal_proof> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/High-_and_low-level> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Formal> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Prabhat_Mishra> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/DREAM_(software)> .
<http://dbpedia.org/resource/Formal_verification>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Formal_methods> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Catherine_Meadows> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Department_of_Computer_Science_and_Technology,_University_of_Cambridge> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Formal_specification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Monad_(functional_programming)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"\u5728\u8BA1\u7B97\u673A\u786C\u4EF6\uFF08\u7279\u522B\u662F\u96C6\u6210\u7535\u8DEF\uFF09\u548C\u8F6F\u4EF6\u7CFB\u7EDF\u7684\u8BBE\u8BA1\u8FC7\u7A0B\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 .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/IT_network_assurance> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Program_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"\u03A3\u03C4\u03B1 \u03C3\u03C5\u03C3\u03C4\u03AE\u03BC\u03B1\u03C4\u03B1 \u03C5\u03BB\u03B9\u03BA\u03BF\u03CD \u03BA\u03B1\u03B9 \u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03B9\u03BA\u03BF\u03CD, \u03B7 \u03C4\u03C5\u03C0\u03B9\u03BA\u03AE \u03B5\u03C0\u03B1\u03BB\u03AE\u03B8\u03B5\u03C5\u03C3\u03B7 (formal verification) \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B7 \u03B1\u03C0\u03CC\u03B4\u03B5\u03B9\u03BE\u03B7 \u03C4\u03B7\u03C2 \u03C4\u03C9\u03BD \u03B1\u03BB\u03B3\u03BF\u03C1\u03AF\u03B8\u03BC\u03C9\u03BD \u03B5\u03BD\u03CC\u03C2 \u03C3\u03C5\u03C3\u03C4\u03AE\u03BC\u03B1\u03C4\u03BF\u03C2 \u03C3\u03CD\u03BC\u03C6\u03C9\u03BD\u03B1 \u03BC\u03B5 \u03BA\u03AC\u03C0\u03BF\u03B9\u03B1 \u03AE \u03B9\u03B4\u03B9\u03CC\u03C4\u03B7\u03C4\u03B1, \u03BC\u03B5 \u03C4\u03B7 \u03C7\u03C1\u03AE\u03C3\u03B7 \u03C4\u03C9\u03BD \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03CE\u03BD."@el .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Frama-C> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Proof_assistant> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/The_Logic_of_Scientific_Discovery> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Escuela_Superior_Latinoamericana_de_Inform\u00E1tica> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Egiaztapen formala (hardware eta softwareen sistemei dagokionez), algoritmo jakin bat espezifikazio formal batekiko zuzena dela frogatzean datza, horretarako matematikak eskaintzen dituen metodo formalak medio direlarik. Algoritmo hauen egiaztapena gauzatzako, dagokion sistemaren (hardware edo softwarea, kasuak kasu) eredu matematiko abstraktu batean oinarritzen den bat eman behar da. Hauek dira sistemen eredutzat erabiltzen diren eredu matematiko batzuk: egoera makina finituak, , , , , , , eta ."@eu .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Hoare_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Formal_methods> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/L4_microkernel_family> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/And-inverter_graph> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/List_of_model_checking_tools> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"\u03A4\u03C5\u03C0\u03B9\u03BA\u03AE \u03B5\u03C0\u03B1\u03BB\u03AE\u03B8\u03B5\u03C5\u03C3\u03B7"@el .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Proof_assistant> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Termination_analysis> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/SystemVerilog> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Don_Syme> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/Group> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Static_program_analysis> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"\u03A3\u03C4\u03B1 \u03C3\u03C5\u03C3\u03C4\u03AE\u03BC\u03B1\u03C4\u03B1 \u03C5\u03BB\u03B9\u03BA\u03BF\u03CD \u03BA\u03B1\u03B9 \u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03B9\u03BA\u03BF\u03CD, \u03B7 \u03C4\u03C5\u03C0\u03B9\u03BA\u03AE \u03B5\u03C0\u03B1\u03BB\u03AE\u03B8\u03B5\u03C5\u03C3\u03B7 (formal verification) \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B7 \u03B1\u03C0\u03CC\u03B4\u03B5\u03B9\u03BE\u03B7 \u03C4\u03B7\u03C2 \u03C4\u03C9\u03BD \u03B1\u03BB\u03B3\u03BF\u03C1\u03AF\u03B8\u03BC\u03C9\u03BD \u03B5\u03BD\u03CC\u03C2 \u03C3\u03C5\u03C3\u03C4\u03AE\u03BC\u03B1\u03C4\u03BF\u03C2 \u03C3\u03CD\u03BC\u03C6\u03C9\u03BD\u03B1 \u03BC\u03B5 \u03BA\u03AC\u03C0\u03BF\u03B9\u03B1 \u03AE \u03B9\u03B4\u03B9\u03CC\u03C4\u03B7\u03C4\u03B1, \u03BC\u03B5 \u03C4\u03B7 \u03C7\u03C1\u03AE\u03C3\u03B7 \u03C4\u03C9\u03BD \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03CE\u03BD."@el .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/abstract>	"Formell verifiering innefattar att bevisa eller motbevisa korrektheten f\u00F6r avsedda algoritmer som ligger till grund f\u00F6r ett system med avseende p\u00E5 en viss formell specifikation eller egenskap, med hj\u00E4lp av formella matematiska metoder."@sv .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageID>	"270054"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/ACL2> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/MusicGenre> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Finite-state_machine> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Trademark_(computer_security)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Interaction_technique> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/Band> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:For> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Runtime_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Finite_model_theory> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Cisco> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Glossary_of_computer_science> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Novikov_self-consistency_principle> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Refinement_(computing)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Liquid_Haskell> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Correctness_(computer_science)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Comparison_of_EDA_software> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Proof_checker> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Formell verifiering"@sv .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Boole\u0027s_expansion_theorem> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/RG> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Well-structured_transition_system> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Joost-Pieter_Katoen> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Model_checking> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Satisfiability_modulo_theories> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Formal_proof> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Formal_equivalence_checking> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Specification_(technical_standard)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/History_of_IBM_research_in_Israel> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Common_Power_Format> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Z3_Theorem_Prover> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Integrity_(operating_system)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Operational_semantics> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Formal_verification?oldid=1119112027&ns=0> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Temporal_logic_in_finite-state_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Cognition100023271> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Software_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Whiley_(programming_language)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Smart_contract> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Mathematics> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Indigenous_psychology> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/V850> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Functional_programming> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Boolean_algebra> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#comment>	"On parle de v\u00E9rification formelle quand on utilise les techniques des m\u00E9thodes formelles. Dans le monde industriel, la v\u00E9rification formelle est utilis\u00E9e aussi bien pour v\u00E9rifier du code informatique (bon fonctionnement des programmes avant la livraison du logiciel), que du code de circuits \u00E9lectroniques. \n* Portail de l\u2019informatique \n* Portail de l'informatique th\u00E9orique"@fr .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/SystemVerilog> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Semantics_(computer_science)> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Combinational_logic> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Abstraction100002137> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Turing_Award> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Denotational_semantics> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Labelled_transition_system> .
<http://dbpedia.org/resource/Formal_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Cryptographic_protocol> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://en.wikipedia.org/wiki/Formal_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Method105660268> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Software_verification_and_validation> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Know-how105616786> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/ML_(programming_language)> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Shmuel_Sagiv> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Robert_Shostak> .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Verifizierung"@de .
<http://dbpedia.org/resource/Formal_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/WikicatFormalMethods> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Verification_and_validation> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Formal_verification#this> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://en.wikipedia.org/wiki/Formal_verification> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Orna_Grumberg> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Concrete_security> .
<http://dbpedia.org/resource/Formal_verification>	<http://xmlns.com/foaf/0.1/topic>	<http://dbpedia.org/resource/Proof-carrying_code> .