About: method

Property	Value
rdfs:label	method
rdfs:subClassOf	http://dbpedia.org/class/yago/Method105660268
is rdf:type of	dbpedia:Formal_verification dbpedia:Turing_machine dbpedia:Automated_theorem_proving dbpedia:Abstract_interpretation dbpedia:Abstract_state_machines dbpedia:Formal_semantics_of_programming_languages dbpedia:Predicate_transformer_semantics dbpedia:Runtime_verification dbpedia:Effect_system dbpedia:Lambda_calculus dbpedia:Bisimulation dbpedia:Software_development_process dbpedia:Computer-assisted_proof dbpedia:Hoare_logic dbpedia:Model_checking dbpedia:Postcondition dbpedia:Algorithm_characterizations dbpedia:Binary_moment_diagram dbpedia:Partial_order_reduction dbpedia:Categorical_set_theory dbpedia:Dynamic_program_analysis dbpedia:Extended_finite_state_machine dbpedia:Formal_Methods_Europe dbpedia:Programming_Research_Group dbpedia:Boolean_satisfiability_problem dbpedia:Proof_of_concept dbpedia:Static_code_analysis dbpedia:Temporal_logic_of_actions dbpedia:Vienna_Development_Method dbpedia:Program_refinement dbpedia:ForTIA dbpedia:Interval_temporal_logic dbpedia:Mondex dbpedia:Formal_specification dbpedia:Temporal_logic dbpedia:Formal_system dbpedia:Bug_bash dbpedia:Retiming dbpedia:Loop_invariant dbpedia:Strict_function dbpedia:Abstraction_model_checking dbpedia:Algorithm_examples dbpedia:And-inverter_graph dbpedia:B-Method dbpedia:BCS-FACS dbpedia:Refinement_calculus dbpedia:Praxis_High_Integrity_Systems dbpedia:Cleanroom_Software_Engineering dbpedia:Concurrency_semantics dbpedia:Formal_equivalence_checking dbpedia:Invariant_based_programming dbpedia:United_Nations_University_International_Institute_for_Software_Technology dbpedia:Life-critical_system dbpedia:Logic_in_computer_science dbpedia:Shape_analysis dbpedia:Statistical_static_timing_analysis dbpedia:Static_timing_analysis dbpedia:SNARK_theorem_prover dbpedia:Safety-critical_system dbpedia:Post–Turing_machine dbpedia:SLAM_project dbpedia:Satisfiability_Modulo_Theories dbpedia:Syntactic_methods dbpedia:Turing_machine_examples dbpedia:Weakest_liberal_precondition dbpedia:Wang_B-machine dbpedia:Object_invariant dbpedia:Oracle_Unified_Method dbpedia:POPLmark_challenge dbpedia:Production_equipment_control dbpedia:Regulated_rewriting dbpedia:Separation_logic dbpedia:Temporal_logic_in_finite-state_verification dbpedia:Turing_machine_gallery dbpedia:Asynchronous_systems dbpedia:Program_derivation dbpedia:Weakest_precondition dbpedia:Lustre_(programming_language) dbpedia:Assertion_(computing) dbpedia:Invariant_(computer_science) dbpedia:DREAM_(software) dbpedia:Isabelle_(theorem_prover) dbpedia:Reification_(computer_science) dbpedia:Guard_(computing) dbpedia:Ioco dbpedia:IBM_OLIVER_(CICS_interactive_test/debug) dbpedia:CA/EZTEST dbpedia:Wolfram's_2-state_3-symbol_Turing_machine