About: Formal methods

Property	Value
rdfs:label	Formal methods Formal method Formal software methods Formal techniquEs
rdfs:subClassOf	yago:Method105660268
is rdf:type of	dbpedia:Lambda_calculus dbpedia:Postcondition dbpedia:Hoare_logic dbpedia:QED_manifesto dbpedia:McCarthy_91_function dbpedia:Reification_(computer_science) dbpedia:IBM_Rational_Unified_Process dbpedia:Programming_Research_Group dbpedia:Model_checking dbpedia:Bisimulation dbpedia:Software_development_process dbpedia:Satisfiability_Modulo_Theories dbpedia:Syntactic_methods dbpedia:Formal_Methods_Europe dbpedia:Categorical_set_theory dbpedia:Stuttering_equivalence dbpedia:SLAM_project dbpedia:Computer-assisted_proof dbpedia:Binary_moment_diagram dbpedia:Dynamic_program_analysis dbpedia:Algorithm_characterizations dbpedia:Uclid dbpedia:Automated_proof_checking dbpedia:Boolean_satisfiability_problem dbpedia:Vienna_Development_Method dbpedia:Assertion_(computing) dbpedia:Correctness_(computer_science) dbpedia:Program_derivation dbpedia:Proof_of_concept dbpedia:Interval_temporal_logic dbpedia:Extended_static_checking dbpedia:Temporal_logic_of_actions dbpedia:Mondex dbpedia:Program_refinement dbpedia:ForTIA dbpedia:Robbins_algebra dbpedia:Formal_verification dbpedia:Automated_theorem_proving dbpedia:Set_theory dbpedia:Turing_machine dbpedia:Abstract_interpretation dbpedia:Formal_methods dbpedia:Sneak_circuit_analysis dbpedia:Predicate_transformer_semantics dbpedia:Effect_system dbpedia:Altran_Praxis dbpedia:Abstract_state_machines dbpedia:Static_timing_analysis dbpedia:Statistical_static_timing_analysis dbpedia:Runtime_verification dbpedia:DREAM_(software) dbpedia:Formal_specification dbpedia:Finite-state_machine dbpedia:Isabelle_(theorem_prover) dbpedia:Life-critical_system dbpedia:Strict_function dbpedia:Temporal_logic dbpedia:Formal_system dbpedia:Loop_invariant dbpedia:Invariant_(computer_science) dbpedia:Oracle_Unified_Method dbpedia:Logic_in_computer_science dbpedia:BCS-FACS dbpedia:Formal_equivalence_checking dbpedia:B-Method dbpedia:Concurrency_semantics dbpedia:United_Nations_University_International_Institute_for_Software_Technology dbpedia:Refinement_calculus dbpedia:Asynchronous_system dbpedia:Algebraic_specification dbpedia:Separation_logic dbpedia:Symbolic_simulation dbpedia:Algorithm_examples dbpedia:Retiming dbpedia:Regulated_rewriting dbpedia:POPLmark_challenge dbpedia:Abstraction_model_checking dbpedia:International_Journal_of_Critical_Computer-Based_Systems dbpedia:CA/EZTEST dbpedia:Applicative_Universal_Grammar dbpedia:State_space_enumeration dbpedia:APCB dbpedia:Loop_variant dbpedia:Compcert dbpedia:Model-based_specification dbpedia:AlphaRenaming dbpedia:Static_code_analysis dbpedia:Extended_finite_state_machine dbpedia:Invariant_based_programming dbpedia:Solver_(computer_science) dbpedia:Partial_order_reduCtion dbpedia:Liskov_suBstitution_principle dbpedia:StuDia_Logica dbpedia:Formal_semantics_of_programming_languAges dbpedia:ProduCtion_equipment_control dbpedia:GuArd_(computing) dbpedia:Lustre_(programming_languAge)