Similarities between Computer science and Formal verification
Computer science and Formal verification have 6 things in common (in Unionpedia): Algorithm, Formal specification, Mathematics, Petri net, Process calculus, Type system.
Algorithm
In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.
Algorithm and Computer science · Algorithm and Formal verification ·
Formal specification
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software.
Computer science and Formal specification · Formal specification and Formal verification ·
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
Computer science and Mathematics · Formal verification and Mathematics ·
Petri net
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems.
Computer science and Petri net · Formal verification and Petri net ·
Process calculus
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems.
Computer science and Process calculus · Formal verification and Process calculus ·
Type system
In programming languages, a type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.
Computer science and Type system · Formal verification and Type system ·
The list above answers the following questions
- What Computer science and Formal verification have in common
- What are the similarities between Computer science and Formal verification
Computer science and Formal verification Comparison
Computer science has 224 relations, while Formal verification has 70. As they have in common 6, the Jaccard index is 2.04% = 6 / (224 + 70).
References
This article shows the relationship between Computer science and Formal verification. To access each article from which the information was extracted, please visit: