This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Formal verification field

Formal verification

https://www.wikidata.org/wiki/Q173326
Field Hierarchy
Parent
Computer science
56.5M papers
Mathematics
21.7M papers
Programming language
7.4M papers
Algorithm
4.6M papers
Theoretical computer science
641k papers
Current
Formal verification
15k papers
Child
Functional verification
3,424 papers
Runtime verification
2,235 papers
Formal equivalence checking
1,236 papers
Language Of Temporal Ordering Specification
1,098 papers
Refinement
593 papers
Promela
579 papers
B-Method
220 papers
Trends