Formal verification
type: Thing
different from: Verificationism
same as: Формальная верификация
same as: Program doğrulama
same as: m.01nswj
same as: Formální verifikace
same as: 形式验证
same as: Vérification formelle
same as: Egiaztapen formala (informatika)
same as: אימות תוכנה
same as: Формальна верифікація
same as: Formell verifiering
same as: 形式的検証
same as: Verificação formal
same as: Formal verification
same as: Verifica formale
same as: Τυπική επαλήθευση
same as: hcnQ
same as: درستی‌یابی صوری
same as: Weryfikacja formalna
same as: Verificación formal
same as: Q173326
label: Egiaztapen formala (informatika)
label: Weryfikacja formalna @pl
label: 形式的検証 @ja
label: Verificación formal @es
label: Formální verifikace @cs
label: Формальна верифікація @uk
label: Формальная верификация @ru
label: Verificação formal @pt
label: Vérification formelle @fr
label: Formell verifiering @sv
label: Formal verification @en
label: Τυπική επαλήθευση @el
label: 形式验证 @zh
label: Verifica formale @it
subject: Category:Logic in computer science
subject: Category:Electronic circuit verification
subject: Category:Formal methods
subject: Category:Theoretical computer science
was derived from: http://en.wikipedia.org/wiki/Formal_verification
hypernym: Act
is primary topic of: Formal verification
wiki page wiki link: https://dbpedia.org/resource/Petri_net
wiki page wiki link: https://dbpedia.org/resource/SPARK_(programming_language)
wiki page wiki link: https://dbpedia.org/resource/Denotational_semantics
wiki page wiki link: https://dbpedia.org/resource/Algorithm
wiki page wiki link: https://dbpedia.org/resource/List_of_model_checking_tools
wiki page wiki link: https://dbpedia.org/resource/Formal_methods
wiki page wiki link: https://dbpedia.org/resource/Property_Specification_Language
wiki page wiki link: https://dbpedia.org/resource/Correctness_(computer_science)
wiki page wiki link: https://dbpedia.org/resource/Decidability_(logic)
wiki page wiki link: https://dbpedia.org/resource/Runtime_verification
wiki page wiki link: https://dbpedia.org/resource/HOL_theorem_prover
wiki page wiki link: https://dbpedia.org/resource/ACL2
wiki page wiki link: https://dbpedia.org/resource/Linear_temporal_logic
wiki page wiki link: https://dbpedia.org/resource/Intelligent_verification
wiki page wiki link: https://dbpedia.org/resource/Termination_analysis
wiki page wiki link: https://dbpedia.org/resource/Combinational_logic
wiki page wiki link: https://dbpedia.org/resource/Cryptographic_protocol
wiki page wiki link: https://dbpedia.org/resource/Formal_specification
wiki page wiki link: https://dbpedia.org/resource/Post-silicon_validation
wiki page wiki link: https://dbpedia.org/resource/Prototype_Verification_System
wiki page wiki link: https://dbpedia.org/resource/Coq
wiki page wiki link: https://dbpedia.org/resource/Computational_tree_logic
wiki page wiki link: https://dbpedia.org/resource/SeL4
wiki page wiki link: https://dbpedia.org/resource/Timed_automaton
wiki page wiki link: https://dbpedia.org/resource/Temporal_logic
wiki page wiki link: https://dbpedia.org/resource/PikeOS
wiki page wiki link: https://dbpedia.org/resource/Category:Theoretical_computer_science
wiki page wiki link: https://dbpedia.org/resource/Program_synthesis
wiki page wiki link: https://dbpedia.org/resource/Program_derivation
wiki page wiki link: https://dbpedia.org/resource/Integrity_(operating_system)
wiki page wiki link: https://dbpedia.org/resource/Formal_proof
wiki page wiki link: https://dbpedia.org/resource/Bird–Meertens_formalism
wiki page wiki link: https://dbpedia.org/resource/Verification_and_validation
wiki page wiki link: https://dbpedia.org/resource/Mathematics
wiki page wiki link: https://dbpedia.org/resource/Category:Electronic_circuit_verification
wiki page wiki link: https://dbpedia.org/resource/SYSGO
wiki page wiki link: https://dbpedia.org/resource/State_space_enumeration