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 equivalence checking field

Formal equivalence checking

https://www.wikidata.org/wiki/Q5469962
Field Hierarchy
Parent
Computer science
55.7M papers
Engineering
24.4M papers
Mathematics
21.4M papers
Programming language
7.3M papers
Algorithm
4.6M papers
Software engineering
689k papers
Theoretical computer science
632k papers
Model checking
20.4k papers
Formal verification
15k papers
Formal methods
12.2k papers
Current
Formal equivalence checking
1,230 papers
Child
Trends