Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Formal_verification> }
- Fluctuat genre Formal_verification.
- Frama-C genre Formal_verification.
- KeY genre Formal_verification.
- Edsger_W._Dijkstra knownFor Formal_verification.
- Patrick_Lincoln knownFor Formal_verification.
- Jeremy_Avigad mainInterest Formal_verification.
- Formal wikiPageDisambiguates Formal_verification.
- Verification wikiPageDisambiguates Formal_verification.
- Program_proof wikiPageRedirects Formal_verification.
- Program_proving wikiPageRedirects Formal_verification.
- Program_verification wikiPageRedirects Formal_verification.
- Verifiability wikiPageRedirects Formal_verification.
- Verifiable wikiPageRedirects Formal_verification.
- ARM11 wikiPageWikiLink Formal_verification.
- ATS_(programming_language) wikiPageWikiLink Formal_verification.
- AgentSpeak wikiPageWikiLink Formal_verification.
- Alphard_(programming_language) wikiPageWikiLink Formal_verification.
- And-inverter_graph wikiPageWikiLink Formal_verification.
- Application-specific_integrated_circuit wikiPageWikiLink Formal_verification.
- Arvind_(computer_scientist) wikiPageWikiLink Formal_verification.
- Attempto_Controlled_English wikiPageWikiLink Formal_verification.
- Aubrey_de_Grey wikiPageWikiLink Formal_verification.
- Automata_theory wikiPageWikiLink Formal_verification.
- Automated_proof_checking wikiPageWikiLink Formal_verification.
- Automated_theorem_proving wikiPageWikiLink Formal_verification.
- Automatic_bug_fixing wikiPageWikiLink Formal_verification.
- Binary_decision_diagram wikiPageWikiLink Formal_verification.
- BitC wikiPageWikiLink Formal_verification.
- Boolean_algebra wikiPageWikiLink Formal_verification.
- Boolean_satisfiability_problem wikiPageWikiLink Formal_verification.
- Booles_expansion_theorem wikiPageWikiLink Formal_verification.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Formal_verification.
- CPAchecker wikiPageWikiLink Formal_verification.
- Cadence_Design_Systems wikiPageWikiLink Formal_verification.
- Chennai_Mathematical_Institute wikiPageWikiLink Formal_verification.
- Circuit_design wikiPageWikiLink Formal_verification.
- Combinational_logic wikiPageWikiLink Formal_verification.
- Common_Power_Format wikiPageWikiLink Formal_verification.
- CompCert wikiPageWikiLink Formal_verification.
- Compiler_correctness wikiPageWikiLink Formal_verification.
- Computation_tree_logic wikiPageWikiLink Formal_verification.
- Computer-assisted_proof wikiPageWikiLink Formal_verification.
- Computer_Laboratory,_University_of_Cambridge wikiPageWikiLink Formal_verification.
- Computer_science wikiPageWikiLink Formal_verification.
- Computer_security wikiPageWikiLink Formal_verification.
- Concepts_(C++) wikiPageWikiLink Formal_verification.
- Correctness_(computer_science) wikiPageWikiLink Formal_verification.
- Coyotos wikiPageWikiLink Formal_verification.
- Cryptographic_protocol wikiPageWikiLink Formal_verification.
- DREAM_(software) wikiPageWikiLink Formal_verification.
- David_May_(computer_scientist) wikiPageWikiLink Formal_verification.
- Denotational_semantics wikiPageWikiLink Formal_verification.
- Dependent_type wikiPageWikiLink Formal_verification.
- Design_by_contract wikiPageWikiLink Formal_verification.
- Digital_electronics wikiPageWikiLink Formal_verification.
- Digital_journalism wikiPageWikiLink Formal_verification.
- Discrete_mathematics wikiPageWikiLink Formal_verification.
- Don_Syme wikiPageWikiLink Formal_verification.
- Edsger_W._Dijkstra wikiPageWikiLink Formal_verification.
- Electronic_design_automation wikiPageWikiLink Formal_verification.
- Energy_Systems_Language wikiPageWikiLink Formal_verification.
- Entscheidungsproblem wikiPageWikiLink Formal_verification.
- Escuela_Superior_Latinoamericana_de_Informática wikiPageWikiLink Formal_verification.
- Euclid_(programming_language) wikiPageWikiLink Formal_verification.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Formal_verification.
- Extended_ML wikiPageWikiLink Formal_verification.
- Extended_static_checking wikiPageWikiLink Formal_verification.
- F*_(programming_language) wikiPageWikiLink Formal_verification.
- Fact wikiPageWikiLink Formal_verification.
- Falsifiability wikiPageWikiLink Formal_verification.
- First-order_logic wikiPageWikiLink Formal_verification.
- Fluctuat wikiPageWikiLink Formal_verification.
- Folk_memory wikiPageWikiLink Formal_verification.
- Formal wikiPageWikiLink Formal_verification.
- Formal_equivalence_checking wikiPageWikiLink Formal_verification.
- Formal_methods wikiPageWikiLink Formal_verification.
- Formal_specification wikiPageWikiLink Formal_verification.
- Frama-C wikiPageWikiLink Formal_verification.
- Functional_programming wikiPageWikiLink Formal_verification.
- Functional_verification wikiPageWikiLink Formal_verification.
- Generalized_Büchi_automaton wikiPageWikiLink Formal_verification.
- GrammaTech wikiPageWikiLink Formal_verification.
- Graph_automorphism wikiPageWikiLink Formal_verification.
- Graph_rewriting wikiPageWikiLink Formal_verification.
- Hardware_description_language wikiPageWikiLink Formal_verification.
- High-_and_low-level wikiPageWikiLink Formal_verification.
- High-level_verification wikiPageWikiLink Formal_verification.
- History_of_IBM_research_in_Israel wikiPageWikiLink Formal_verification.
- Hoare_logic wikiPageWikiLink Formal_verification.
- Hybrid_system wikiPageWikiLink Formal_verification.
- Hypothesis wikiPageWikiLink Formal_verification.
- Independent_software_verification_and_validation wikiPageWikiLink Formal_verification.
- Index_of_philosophy_articles_(R–Z) wikiPageWikiLink Formal_verification.
- Indigenous_psychology wikiPageWikiLink Formal_verification.
- Intelligent_verification wikiPageWikiLink Formal_verification.
- Interaction_technique wikiPageWikiLink Formal_verification.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Formal_verification.
- Invariant-based_programming wikiPageWikiLink Formal_verification.
- Jacob_T._Schwartz wikiPageWikiLink Formal_verification.
- Jenelle_Hutcherson wikiPageWikiLink Formal_verification.