Knext

Query Results: Checking.n (page 155)

3,407 results in the active KB.

Persons may present a (model checking algorithm).
Logical form
Learned from
2 sentences.
(Model checking techniques) may be developed at a US-city.
Logical form
Learned from
2 sentences.
(Performance prediction) may be achieved through (model checking techniques).
Logical form
Learned from
2 sentences.
(Analysis techniques) may be employed in (model checking).
Logical form
Learned from
2 sentences.
Checking can be impractical.
Logical form
Learned from
2 sentences.
A (model checking) can be stochastic.
Logical form
Learned from
2 sentences.
(Model checking techniques) can be modular.
Logical form
Learned from
2 sentences.
Checking may be applied to a study of (dependability properties) of (control systems).
Logical form
Learned from
2 sentences.
Persons may develop a (model checking method).
Logical form
Learned from
2 sentences.
A (model checking method) can be for models.
Logical form
Learned from
2 sentences.
A (checking tool prism) can be probabilistic.
Logical form
Learned from
2 sentences.
(Implementation techniques) can be for (model checking).
Logical form
Learned from
2 sentences.
A (model checking tool) can be probabilistic.
Logical form
Learned from
2 sentences.
(Model checking techniques) may manifest usefulness.
Logical form
Learned from
2 sentences.
A (checking account) can be insured.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-15.