Formal verification
wiki page uses template: Template:For
wiki page uses template: Template:Use mdy dates
wiki page uses template: Template:Distinguish
wiki page uses template: Template:As of
wiki page uses template: Template:Wiktionary
wiki page uses template: Template:Main
wiki page uses template: Template:Hatnote group
wiki page uses template: Template:Citation needed
wiki page uses template: Template:Reflist
wiki page uses template: Template:Short description
wiki page uses template: Template:Cleanup
type: Thing
different from: Verificationism
label: 形式验证 @zh
label: Formell verifiering @sv
label: Формальна верифікація @uk
label: Egiaztapen formala (informatika) @eu
label: Formální verifikace @cs
label: Τυπική επαλήθευση @el
label: Verifica formale @it
label: Weryfikacja formalna @pl
label: Vérification formelle @fr
label: Verificación formal @es
label: Verificação formal @pt
label: Формальная верификация @ru
label: 形式的検証 @ja
subject: Category:Logic in computer science
subject: Category:Formal methods
subject: Category:Electronic circuit verification
subject: Category:Theoretical computer science
hypernym: Act
description: σελίδα αποσαφήνισης εγχειρημάτων Wikimedia @el
description: acte de demostrar o refutar la correcció dels algorismes previstos @ca
description: act of proving or disproving the correctness of intended algorithms
wiki page wiki link: https://dbpedia.org/resource/Vector_addition_system
wiki page wiki link: https://dbpedia.org/resource/Category:Formal_methods
wiki page wiki link: https://dbpedia.org/resource/ACL2
wiki page wiki link: https://dbpedia.org/resource/State_space_enumeration
wiki page wiki link: https://dbpedia.org/resource/Model_checking
wiki page wiki link: https://dbpedia.org/resource/Oracle_(computability)
wiki page wiki link: https://dbpedia.org/resource/East_China_Normal_University
wiki page wiki link: https://dbpedia.org/resource/Algorithm
wiki page wiki link: https://dbpedia.org/resource/Computational_tree_logic
wiki page wiki link: https://dbpedia.org/resource/L4_microkernel_family
wiki page wiki link: https://dbpedia.org/resource/Post-silicon_validation
wiki page wiki link: https://dbpedia.org/resource/Abstract_interpretation
wiki page wiki link: https://dbpedia.org/resource/Formal_specification
wiki page wiki link: https://dbpedia.org/resource/Software_industry
wiki page wiki link: https://dbpedia.org/resource/Runtime_verification
wiki page wiki link: https://dbpedia.org/resource/Verification_and_validation
wiki page wiki link: https://dbpedia.org/resource/SYSGO
wiki page wiki link: https://dbpedia.org/resource/Intelligent_verification
wiki page wiki link: https://dbpedia.org/resource/Proof_assistant
wiki page wiki link: https://dbpedia.org/resource/Formal_proof
wiki page wiki link: https://dbpedia.org/resource/Category:Theoretical_computer_science
wiki page wiki link: https://dbpedia.org/resource/Formal_equivalence_checking
wiki page wiki link: https://dbpedia.org/resource/CompCert
wiki page wiki link: https://dbpedia.org/resource/Software_system
wiki page wiki link: https://dbpedia.org/resource/Soundness
wiki page wiki link: https://dbpedia.org/resource/Formal_methods
wiki page wiki link: https://dbpedia.org/resource/Decidability_(logic)
wiki page wiki link: https://dbpedia.org/resource/Functional_programming
wiki page wiki link: https://dbpedia.org/resource/Category:Logic_in_computer_science
wiki page wiki link: https://dbpedia.org/resource/SPARK_(programming_language)
wiki page wiki link: https://dbpedia.org/resource/Type_system
wiki page wiki link: https://dbpedia.org/resource/Program_synthesis
wiki page wiki link: https://dbpedia.org/resource/Property_Specification_Language
wiki page wiki link: https://dbpedia.org/resource/Temporal_logic_in_finite-state_verification
wiki page wiki link: https://dbpedia.org/resource/SeL4
wiki page wiki link: https://dbpedia.org/resource/HOL_theorem_prover
wiki page wiki link: https://dbpedia.org/resource/Dependent_types
wiki page wiki link: https://dbpedia.org/resource/Proof_checker
wiki page wiki link: https://dbpedia.org/resource/Hybrid_automata
wiki page wiki link: https://dbpedia.org/resource/Correct_by_construction
wiki page wiki link: https://dbpedia.org/resource/Hardware_industry
wiki page wiki link: https://dbpedia.org/resource/Use_case
wiki page wiki link: https://dbpedia.org/resource/Mathematics
wiki page wiki link: https://dbpedia.org/resource/Digital_circuit
wiki page wiki link: https://dbpedia.org/resource/List_of_model_checking_tools