@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/resource/Category:> .
dbpedia:Dependability	skos:subject	ns2:Formal_methods .
dbpedia:Formal_verification	skos:subject	ns2:Formal_methods .
dbpedia:Turing_machine	skos:subject	ns2:Formal_methods .
dbpedia:Set_theory	skos:subject	ns2:Formal_methods .
dbpedia:Automated_theorem_proving	skos:subject	ns2:Formal_methods .
dbpedia:Abstract_interpretation	skos:subject	ns2:Formal_methods .
dbpedia:Abstract_state_machines	skos:subject	ns2:Formal_methods .
dbpedia:Formal_methods	skos:subject	ns2:Formal_methods .
dbpedia:Formal_semantics_of_programming_languages	skos:subject	ns2:Formal_methods .
dbpedia:Correctness	skos:subject	ns2:Formal_methods .
dbpedia:Precondition	skos:subject	ns2:Formal_methods .
dbpedia:Predicate_transformer_semantics	skos:subject	ns2:Formal_methods .
ns2:Computational_models	skos:broader	ns2:Formal_methods .
dbpedia:Applicative_Universal_Grammar	skos:subject	ns2:Formal_methods .
ns2:Logical_calculi	skos:broader	ns2:Formal_methods .
<http://dbpedia.org/resource/DREAM_%28software%29>	skos:subject	ns2:Formal_methods .
ns2:Reduction_systems	skos:broader	ns2:Formal_methods .
ns2:Static_code_analysis	skos:broader	ns2:Formal_methods .
@prefix ns3:	<http://dbpedia.org/resource/CA/> .
ns3:EZTEST	skos:subject	ns2:Formal_methods .
dbpedia:Runtime_verification	skos:subject	ns2:Formal_methods .
dbpedia:Effect_system	skos:subject	ns2:Formal_methods .
dbpedia:Formal_Aspects_of_Computing	skos:subject	ns2:Formal_methods .
dbpedia:Lambda_calculus	skos:subject	ns2:Formal_methods .
dbpedia:Bisimulation	skos:subject	ns2:Formal_methods .
dbpedia:IBM_Rational_Unified_Process	skos:subject	ns2:Formal_methods .
dbpedia:Software_development_process	skos:subject	ns2:Formal_methods .
dbpedia:Computer-assisted_proof	skos:subject	ns2:Formal_methods .
dbpedia:Hoare_logic	skos:subject	ns2:Formal_methods .
dbpedia:Model_checking	skos:subject	ns2:Formal_methods .
dbpedia:Postcondition	skos:subject	ns2:Formal_methods .
dbpedia:APCB	skos:subject	ns2:Formal_methods .
dbpedia:Algorithm_characterizations	skos:subject	ns2:Formal_methods .
ns2:Automated_theorem_proving	skos:broader	ns2:Formal_methods .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
ns2:Formal_methods	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:Formal_methods	rdfs:label	"Formal methods"@en ;
	skos:prefLabel	"Formal methods"@en ;
	skos:broader	ns2:Mathematics_of_computing ,
		ns2:Theoretical_computer_science ,
		ns2:Data_modeling ,
		ns2:Logic_in_computer_science ,
		ns2:Formal_sciences ,
		ns2:Software_quality ,
		ns2:Software_engineering ,
		ns2:Software_development_philosophies ,
		ns2:Software_development_process .
ns2:Formal_methods_tools	skos:broader	ns2:Formal_methods .
dbpedia:Automated_proof_checking	skos:subject	ns2:Formal_methods .
dbpedia:Binary_moment_diagram	skos:subject	ns2:Formal_methods .
ns2:SMT_solvers	skos:broader	ns2:Formal_methods .
dbpedia:Partial_order_reduction	skos:subject	ns2:Formal_methods .
<http://dbpedia.org/resource/Reification_%28computer_science%29>	skos:subject	ns2:Formal_methods .
dbpedia:Categorical_set_theory	skos:subject	ns2:Formal_methods .
ns2:Z_notation	skos:broader	ns2:Formal_methods .
dbpedia:Dynamic_program_analysis	skos:subject	ns2:Formal_methods .
dbpedia:Extended_finite_state_machine	skos:subject	ns2:Formal_methods .
dbpedia:Formal_Methods_Europe	skos:subject	ns2:Formal_methods .
dbpedia:International_Conference_on_Software_Engineering_and_Formal_Methods	skos:subject	ns2:Formal_methods .
dbpedia:International_Symposium_on_Logic-based_Program_Synthesis_and_Transformation	skos:subject	ns2:Formal_methods .
dbpedia:Programming_Research_Group	skos:subject	ns2:Formal_methods .
dbpedia:Loop_variant	skos:subject	ns2:Formal_methods .
<http://dbpedia.org/resource/Assertion_%28computing%29>	skos:subject	ns2:Formal_methods .
dbpedia:Boolean_satisfiability_problem	skos:subject	ns2:Formal_methods .
dbpedia:Liskov_substitution_principle	skos:subject	ns2:Formal_methods .
dbpedia:Proof_of_concept	skos:subject	ns2:Formal_methods .
dbpedia:Static_code_analysis	skos:subject	ns2:Formal_methods .
dbpedia:Temporal_logic_of_actions	skos:subject	ns2:Formal_methods .
dbpedia:Vienna_Development_Method	skos:subject	ns2:Formal_methods .
dbpedia:Program_refinement	skos:subject	ns2:Formal_methods .
dbpedia:ForTIA	skos:subject	ns2:Formal_methods .
dbpedia:International_Journal_of_Critical_Computer-Based_Systems	skos:subject	ns2:Formal_methods .
dbpedia:Interval_temporal_logic	skos:subject	ns2:Formal_methods .
dbpedia:Mondex	skos:subject	ns2:Formal_methods .
dbpedia:Formal_specification	skos:subject	ns2:Formal_methods .
dbpedia:Finite-state_machine	skos:subject	ns2:Formal_methods .
dbpedia:Temporal_logic	skos:subject	ns2:Formal_methods .
dbpedia:Formal_system	skos:subject	ns2:Formal_methods .
dbpedia:Beaver_bit-vector_decision_procedure	skos:subject	ns2:Formal_methods .
<http://dbpedia.org/resource/Invariant_%28computer_science%29>	skos:subject	ns2:Formal_methods ,
		ns2:Formal_methods ,
		ns2:Formal_methods .
dbpedia:Retiming	skos:subject	ns2:Formal_methods .
dbpedia:Loop_invariant	skos:subject	ns2:Formal_methods .
dbpedia:Strict_function	skos:subject	ns2:Formal_methods .
dbpedia:Abstraction_model_checking	skos:subject	ns2:Formal_methods .
dbpedia:Algorithm_examples	skos:subject	ns2:Formal_methods .
dbpedia:And-inverter_graph	skos:subject	ns2:Formal_methods .
ns2:Formal_methods_people	skos:broader	ns2:Formal_methods .
ns2:Formal_specification_languages	skos:broader	ns2:Formal_methods .
dbpedia:Asynchronous_system	skos:subject	ns2:Formal_methods .
dbpedia:B-Method	skos:subject	ns2:Formal_methods .
dbpedia:BCS-FACS	skos:subject	ns2:Formal_methods .
dbpedia:Refinement_calculus	skos:subject	ns2:Formal_methods .
dbpedia:Praxis_High_Integrity_Systems	skos:subject	ns2:Formal_methods .
dbpedia:Concurrency_semantics	skos:subject	ns2:Formal_methods .
dbpedia:Formal_equivalence_checking	skos:subject	ns2:Formal_methods .
<http://dbpedia.org/resource/Guard_%28computing%29>	skos:subject	ns2:Formal_methods .
dbpedia:High_and_low_level	skos:subject	ns2:Formal_methods .
dbpedia:Invariant_based_programming	skos:subject	ns2:Formal_methods .
dbpedia:United_Nations_University_International_Institute_for_Software_Technology	skos:subject	ns2:Formal_methods .
dbpedia:Life-critical_system	skos:subject	ns2:Formal_methods .
dbpedia:Logic_in_computer_science	skos:subject	ns2:Formal_methods .
dbpedia:Statistical_static_timing_analysis	skos:subject	ns2:Formal_methods .
dbpedia:Static_timing_analysis	skos:subject	ns2:Formal_methods .
dbpedia:Unifying_Theories_of_Programming	skos:subject	ns2:Formal_methods .
dbpedia:UML_state_machine	skos:subject	ns2:Formal_methods .
<http://dbpedia.org/resource/Verification_and_Validation_%28software%29>	skos:subject	ns2:Formal_methods .
dbpedia:QED_manifesto	skos:subject	ns2:Formal_methods .
dbpedia:SLAM_project	skos:subject	ns2:Formal_methods .
dbpedia:Satisfiability_Modulo_Theories	skos:subject	ns2:Formal_methods .
dbpedia:State_space_enumeration	skos:subject	ns2:Formal_methods .
dbpedia:Syntactic_methods	skos:subject	ns2:Formal_methods .
dbpedia:Uclid	skos:subject	ns2:Formal_methods .
dbpedia:Turing_machine_examples	skos:subject	ns2:Formal_methods .
dbpedia:Weakest_liberal_precondition	skos:subject	ns2:Formal_methods .
dbpedia:Wang_B-machine	skos:subject	ns2:Formal_methods .
dbpedia:Oracle_Unified_Method	skos:subject	ns2:Formal_methods .
dbpedia:POPLmark_challenge	skos:subject	ns2:Formal_methods .
dbpedia:Production_equipment_control	skos:subject	ns2:Formal_methods .
dbpedia:Regulated_rewriting	skos:subject	ns2:Formal_methods .
dbpedia:Separation_logic	skos:subject	ns2:Formal_methods .
dbpedia:Symbolic_simulation	skos:subject	ns2:Formal_methods .
dbpedia:Temporal_logic_in_finite-state_verification	skos:subject	ns2:Formal_methods .
dbpedia:Turing_machine_gallery	skos:subject	ns2:Formal_methods .
dbpedia:Program_derivation	skos:subject	ns2:Formal_methods .
dbpedia:Robbins_algebra	skos:subject	ns2:Formal_methods .