Model checking
Model checking
Computer science field.
No account needed. By playing, you confirm you're 13 or older and agree to the Terms of use.
No owners yet
Category: Empty
- 0 owners
- 0 copies
- 0 pulls
- Wishlisted
- 0
- In 0 albums
- On 0 showcases
- Market listings
- 0
Not sold on the market yet.
Readers' pathsAug 2026 – Oct 2026
Readers go next to
Share of the 619 clicks on its links
TLA+
Formal specification language.
14%
Finite-state machine
Mathematical model of computation.
11%
Deadlock (computer science)
State in which members are blocking each other.
9.2%
Binary decision diagram
Data structure for Boolean functions.
6.1%
Petri net
Model to describe distributed systems.
4%
Computation tree logic
Theory in computer science.
3.7%
Combinatorial explosion
Rapid growth of the complexity of a problem due to its combinatorial properties.
1.9%
Büchi automaton
Automaton which either accepts or rejects infinite inputs.
1.8%
Readers come from
Share of the 823 readers arriving from another article
