Knext

Query Results: Checking.n (page 167)

3,407 results in the active KB.

Methods can be for (model checking).
Logical form
Learned from
2 sentences.
Profiles may allow checking of some issues.
Logical form
Learned from
2 sentences.
(Model checking) may show modal mu-calculus.
Logical form
Learned from
2 sentences.
Formulas may undergo a checking.
Logical form
Learned from
2 sentences.
A version may pertain-to a (model checking tool).
Logical form
Learned from
2 sentences.
(Model checking algorithms) can be distributed.
Logical form
Learned from
2 sentences.
A node may undergo a checking.
Logical form
Learned from
2 sentences.
(Error checking) may be doed.
Logical form
Learned from
2 sentences.
Purposes can be constituted-of-or-filled-with (assignment checking).
Logical form
Learned from
2 sentences.
Definite assignment may undergo a checking.
Logical form
Learned from
2 sentences.
A checking of definite assignment may include classes.
Logical form
Learned from
2 sentences.
A meeting can be for (conflict checking).
Logical form
Learned from
2 sentences.
A (conflict checking) can be mundane.
Logical form
Learned from
2 sentences.
A class can be constituted-of-or-filled-with (conflict checking).
Logical form
Learned from
2 sentences.
Focus can be on parallelization of (model checking).
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-18.