About: Formal methods

Property	Value
rdf:type	skos:Concept
rdfs:label	Formal methods (en)
skos:broader	dbpedia:Category:Data_modeling dbpedia:Category:Logic_in_computer_science dbpedia:Category:Mathematics_of_computing dbpedia:Category:Formal_sciences dbpedia:Category:Software_quality dbpedia:Category:Theoretical_computer_science dbpedia:Category:Software_engineering
skos:prefLabel	Formal methods (en)
is skos:broader of	dbpedia:Category:Formal_languages dbpedia:Category:Automata_theory dbpedia:Category:Computational_models dbpedia:Category:Static_code_analysis dbpedia:Category:Logical_calculi dbpedia:Category:Reduction_systems dbpedia:Category:Logic_programming dbpedia:Category:Formal_methods_tools dbpedia:Category:Combinatory_logic dbpedia:Category:Automated_theorem_proving dbpedia:Category:SMT_solvers dbpedia:Category:Z_notation dbpedia:Category:Functional_programming dbpedia:Category:Formal_specification_languages dbpedia:Category:Type_theory dbpedia:Category:Formal_methods_people dbpedia:Category:Lambda_calculus
is skos:subject of	dbpedia:Set_theory dbpedia:Turing_machine dbpedia:Abstract_interpretation dbpedia:Abstract_state_machines dbpedia:Formal_verification dbpedia:Correctness dbpedia:Precondition dbpedia:Applicative_Universal_Grammar dbpedia:Automated_theorem_proving dbpedia:Formal_methods dbpedia:Formal_semantics_of_programming_languages dbpedia:Predicate_transformer_semantics dbpedia:CA/EZTEST dbpedia:DREAM_%28software%29 dbpedia:Dependability dbpedia:Static_timing_analysis dbpedia:Effect_system dbpedia:Formal_Aspects_of_Computing dbpedia:Runtime_verification dbpedia:Statistical_static_timing_analysis dbpedia:Unifying_Theories_of_Programming dbpedia:Verification_and_Validation_%28software%29 dbpedia:IBM_Rational_Unified_Process dbpedia:Software_development_process dbpedia:APCB dbpedia:Hoare_logic dbpedia:Computer-assisted_proof dbpedia:Bisimulation dbpedia:Lambda_calculus dbpedia:Model_checking dbpedia:Algorithm_characterizations dbpedia:Postcondition dbpedia:Weakest_liberal_precondition dbpedia:Dynamic_program_analysis dbpedia:Automated_proof_checking dbpedia:Binary_moment_diagram dbpedia:Categorical_set_theory dbpedia:Reification_%28computer_science%29 dbpedia:Satisfiability_Modulo_Theories dbpedia:Extended_finite_state_machine dbpedia:Formal_Methods_Europe dbpedia:International_Conference_on_Software_Engineering_and_Formal_Methods dbpedia:International_Symposium_on_Logic-based_Program_Synthesis_and_Transformation dbpedia:Post%E2%80%93Turing_machine dbpedia:Loop_variant dbpedia:SLAM_project dbpedia:Partial_order_reduction dbpedia:Programming_Research_Group dbpedia:State_space_enumeration dbpedia:Syntactic_methods dbpedia:Turing_machine_examples dbpedia:Uclid dbpedia:Wang_B-machine dbpedia:Boolean_satisfiability_problem dbpedia:Assertion_%28computing%29 dbpedia:Proof_of_concept dbpedia:Static_code_analysis dbpedia:Temporal_logic_of_actions dbpedia:Vienna_Development_Method dbpedia:International_Journal_of_Critical_Computer-Based_Systems dbpedia:Program_refinement dbpedia:ForTIA dbpedia:Mondex dbpedia:Program_derivation dbpedia:Interval_temporal_logic dbpedia:Abstraction_model_checking dbpedia:Finite-state_machine dbpedia:Temporal_logic dbpedia:Isabelle_%28theorem_prover%29 dbpedia:Logic_in_computer_science dbpedia:Algorithm_examples dbpedia:And-inverter_graph dbpedia:Asynchronous_systems dbpedia:Formal_specification dbpedia:Formal_system dbpedia:B-Method dbpedia:BCS-FACS dbpedia:Invariant_%28computer_science%29 dbpedia:Loop_invariant dbpedia:Lustre_%28programming_language%29 dbpedia:Beaver_bit-vector_decision_procedure dbpedia:Retiming dbpedia:Guard_%28computing%29 dbpedia:Concurrency_semantics dbpedia:Life-critical_system dbpedia:Separation_logic dbpedia:Formal_equivalence_checking dbpedia:Frama-c dbpedia:High_and_low_level dbpedia:Invariant_based_programming dbpedia:United_Nations_University_International_Institute_for_Software_Technology dbpedia:Praxis_High_Integrity_Systems dbpedia:Strict_function dbpedia:Oracle_Unified_Method dbpedia:POPLmark_challenge dbpedia:Production_equipment_control dbpedia:Refinement_calculus dbpedia:Regulated_rewriting dbpedia:Symbolic_simulation dbpedia:Temporal_logic_in_finite-state_verification dbpedia:Turing_machine_gallery