Knext

Query Results: Checking.n (page 166)

3,407 results in the active KB.

(Model checking results) can be from a spin.
Logical form
Learned from
2 sentences.
(Model checking tools) can be such that something-is-the-case.
Logical form
Learned from
2 sentences.
(Analysis results) can be from (model checking tools).
Logical form
Learned from
2 sentences.
(Model checking results) may undergo a visualization.
Logical form
Learned from
2 sentences.
Problems may be related to (type checking).
Logical form
Learned from
2 sentences.
A checking may be provided by a combination.
Logical form
Learned from
2 sentences.
A checking can be costly.
Logical form
Learned from
2 sentences.
A (consistency checking) may pertain-to a distribution.
Logical form
Learned from
2 sentences.
Some supervisors may conduct a (peer checking).
Logical form
Learned from
2 sentences.
An amount may be charged to a (checking account).
Logical form
Learned from
2 sentences.
Charges can be on a (checking account).
Logical form
Learned from
2 sentences.
Errors may undergo a checking.
Logical form
Learned from
2 sentences.
Expressiveness may pertain-to a (model checking logic).
Logical form
Learned from
2 sentences.
A (model checking) can be finite.
Logical form
Learned from
2 sentences.
A (model checking) can be timed.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-18.